A partial evaluator, and its use for compiling iterative statements in LISP

Authors:
Anders Haraldsson
Affiliations:
Linkoeping University, Sweden
Venue:
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Year:
1978

Citing 1
Cited 5

Goal-directed program transformation

POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages

A bibliography on partial evaluation

ACM SIGPLAN Notices
Compiling away the meta-level in object-oriented concurrent reflective languages using partial evaluation

Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Program Transformation Systems

ACM Computing Surveys (CSUR)
On compiling embedded languages in LISP

LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
A description language and pilot-system executive for information-transport systems

VLDB '79 Proceedings of the fifth international conference on Very Large Data Bases - Volume 5

Quantified Score

Hi-index	0.00

Visualization

Abstract

A partial evaluation program for LISP is described, and an application where it has been used. The partial evaluator performs a number of other, related operations such as opening of functions and certain optimizations on programs. The application is based on the fact that we can generate from an interpreter and a partial evaluator the same object code as a corresponding compiler should do. The paper will first formally describe the relationship between an interpreter and a compiler through partial evaluation. The partial evaluator system is then briefly described and finally an experiment is shown where an interpreter for the iterative statement in INTERLISP is partially evaluated.