Prescriptive Frameworks for Multi-Level Lambda-Calculi

Authors:
Flemming Nielson;Hanne Riis Nielson
Affiliations:
Computer Science Department, Aarhus University (Bldg. 540), Ny Munkegade, DK-8000 Aarhus C, Denmark.;Computer Science Department, Aarhus University (Bldg. 540), Ny Munkegade, DK-8000 Aarhus C, Denmark.
Venue:
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Year:
1997

Citing 0
Cited 5

Dynamic specialization in the Fabius system

ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Environment classifiers

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Multi-Level Specialization (Extended Abstract)

Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
On stage ordering in staged computation

Proceedings of the 2nd international conference on Generative programming and component engineering
Optimizing ML with run-time code generation

ACM SIGPLAN Notices - Best of PLDI 1979-1999

Quantified Score

Hi-index	0.00

Visualization

Abstract

Two-level A-calculi have been heavily utilised for applications such as partial evaluation, abstract interpretation and code generation. Each of these applications pose different demands on the exact details of the twolevel structure and the corresponding inference rules. In a previous paper we have developed a descriptive framework for characterizing the key ingredients used in the various applications. Based on the insights offered by this characterisation we now develop a prescriptive framework that offers firm guidelines on what we regard as "good" definitions of multi-level lambda-calculi.