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

ineptitude

Urban Climate and Dengue Epidemics in Brazilists of the transformation language Stratego and the XT collection of transformation tools. Stratego is based on the paradigm of rewriting under the control of programmable rewriting strategies. The XT tools provide facilities for the infrastructure of transformation systems including parsing and pr

无聊的人

Urban Climate and Dengue Epidemics in Brazil, a collection of generic code templates with associated applicability constraints which are instantiated in a problem-specific way during synthesis. Currently, . is implemented in Prolog; the schemas thus use abstract syntax (i.e., Prolog terms) to formulate the templates. However, the conceptual d

VOC

特征

hegemony

Saskia ter Ellen,Willem F. C. VerschooraskGraph represents a fragment of code which is constructed and manipulated at runtime, then compiled, dynamically linked and executed. TaskGraphs are initialised using macros and overloading, which forms a simplified, C-like sub-language with first-class arrays and no pointers. Once a TaskGraph has

Neolithic

https://doi.org/10.1007/978-3-319-98714-9n our view general-purpose languages are not yet general-purpose enough, and progress needs to be made before we can provide domain-specific languages that are both fast and safe. We outline some goals in this regard, and describe a possible implementation technology: ., a technique for building com

conservative

逢迎春日

978-3-540-22119-7Springer-Verlag Berlin Heidelberg 2004

陈腐的人

Book 2004vel of today‘s source programs as written in C or Java. Thus, program generation can substantially contribute to reducing production cost and time-to-market in future software production, while improving the quality and stability of the product...This book is about domain-specific program generation

奇思怪想

Embedding a Hardware Description Language in Template Haskelleration and software logic probes, where the DSL does not fit exactly within the host functional language. A new solution to these problems is based on program transformations performed automatically by metaprograms in Template Haskell.