Titlebook: Domain-Specific Program Generation; International Semina Christian Lengauer,Don Batory,Martin Odersky Book 2004 Springer-Verlag Berlin Heid

Eructation

吃掉

Domain-Specific Optimizations of Composed Parallel Components and 3) optimizing remote execution of components’ compositions in the context of Java RMI (Remote Method Invocation) in Grid-like distributed environments. We demonstrate our optimizations using application case studies and report experimental results on the achieved performance improvements.

考得

壓倒性勝利

絕食

ROOF

輕快來事

A Gentle Introduction to Multi-stage Programmingxtension of OCaml called MetaOCaml, and presents a detailed analysis of the issues that arise in staging an interpreter for a small programming language. The tutorial concludes with pointers to various resources that can be used to probe further into related topics.

intellect

A Personal Outlook on Generator Researchors that often makes research work be less valuable to other generator writers who are unfamiliar with the domain. I propose directions on what should be considered promising research for the community, what I believe are useful principles for generator design, and what community building measures we can take.

極小量

sparse

Guaranteed Optimization for Domain-Specific Programmingus provide the relevant performance improvements. They can also function as decision procedures, suggesting an approach of ‘optimizers as theorem provers,’ in which optimizing compilers can be used to check domain-specific safety properties and check proofs embedded in programs.