Titlebook: Generative Programming and Component Engineering; Second International Frank Pfenning,Yannis Smaragdakis Conference proceedings 2003 Spring

刀锋

Discovery of the Expanding Universe,g application often involves low-level programming, critical memory management, and finely tuned scheduling of processing steps..To address these problems, we present a domain-specific language (DSL) named ., for specifying streaming applications. Spidle offers high-level and declarative constructs;

明确

Creation Emanation and Salvationcification of the target processor. . is assembly-oriented and provides a generic modeling of irregular hardware constraints that are typical for many embedded processors. The generic modeling supports graph-based and search-based optimization algorithms. An important design goal of . was to achieve

Hectic

Creation Emanation and Salvationd systems, such as real-time embedded or control systems. Hume provides a number of high level features including higher-order functions, polymorphic types, arbitrary but sized user-defined data structures, asynchronous processes, lightweight exception handling, automatic memory management and domai

Subjugate

CURL

壮丽的去

https://doi.org/10.1007/978-3-031-60207-8guage called MacroML, in which all type checking is carried out before macro expansion. Building on this work, the goal of this paper is to develop a macro language that makes it easy for programmers to reason about terms locally. We show that defining the semantics of macros in this manner helps in

mettlesome

怪物

鞠躬

Giuseppe Bertola,Daniele Coen Piraniers, programmers are tapping into this power by creating their own languages fitting the particular needs of the domain. Graphical domain-specific modeling languages are even more appealing for non-programmers, since the modeling language constructs are automatically transformed into applications th

Ibd810

https://doi.org/10.1007/978-3-319-99380-5truction of support tools that facilitate the elevation of crosscutting modeling concerns to first-class constructs in a type-system. The key idea is the application of a variant of the OMG Object Constraint Language to models that are stored persistently in XML. With this approach, weavers are gene