collagenase
发表于 2025-3-25 05:48:16
0302-9743Implementation of Program Generation, SAIG 2000, held in Montreal, Canada in September 2000. The seven revised full papers and four position papers presented together with four invited abstracts were carefully reviewed and selected from 20 submissions. Among the topics addressed are multi-stage pro
埋伏
发表于 2025-3-25 11:24:09
http://reply.papertrans.cn/87/8648/864756/864756_22.png
大气层
发表于 2025-3-25 14:57:41
Pragmatic Aspects of Reusable Program Generators Position Paperaces to the client code look like? How should a user control variations? This paper uses exam- ples from SLED, λ-RTL, and ASDL to elaborate on these questions. It is hoped that the paper will stimulate discussion and the development of better techniques. Most urgently needed is a simple, clear way to control interfaces to generated code.
surmount
发表于 2025-3-25 18:47:04
http://reply.papertrans.cn/87/8648/864756/864756_24.png
接触
发表于 2025-3-25 20:58:47
Compiling Embedded Languages syntactic types, plus host language functions and tuples. This definition style makes compil- ers easy to write and, in fact, almost identical to the simplest embedded interpreters. We illustrate this technique with a language Pan for the computationally intensive domain of image synthesis and manipulation.
outset
发表于 2025-3-26 03:19:57
http://reply.papertrans.cn/87/8648/864756/864756_26.png
FADE
发表于 2025-3-26 05:38:16
Refinements and Product Line Architecturestation. This makes it very difficult, if not impossi- ble, to reason about software architectures (also known as “application designs”); to have simple, elegant, and easy to understand speciffications of applications; and to be able to design or critique software designs automatically given a set of
Badger
发表于 2025-3-26 11:12:52
Specialization of Systems Programs: Lessons and Perspectivescturing systems in terms of modules and layers to enable various functionalities to be added. However, what seems to be an adequate strategy at the design level often leads to performance problems in the implementation. Program specialization is a technique that consists of adapting a generic progra
GRAIN
发表于 2025-3-26 14:42:07
http://reply.papertrans.cn/87/8648/864756/864756_29.png
Vertebra
发表于 2025-3-26 18:18:19
Lightweight and Generative Components II: Binary-Level Componentsappropriate) or generative components (those in which the component embodies a method of constructing code rather than ac- tual code). Macro-based systems such as the C++ Standard Template Li- brary are exceptions. They, however, have the disadvantage that compo- nents must be delivered largely in s