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

delegate

小卷发

TDL: A Hardware Description Language for Retargetable Postpass Optimizations and Analysescification 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

扩音器

Hume: A Domain-Specific Language for Real-Time Embedded Systemsd 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

pellagra

老人病学

改革运动

Staged Notational Definitionsguage 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

ASSET

A Journey from Interpreters to Compilers and Virtual Machinesof this derivation with a number of existing virtual machines, mostly for functional languages. We then outline its relevance for today’s language development [5]..The work is joint with Mads Sig Ager, Dariusz Biernacki, and Jan Midtgaard [1–4].

修改

使绝缘

宽敞