.png){kind=icon}
Return
An introduction to partial evaluation
.png){kind=icon}
OA
AI
DOI：10.1145/243439.243447.png)
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Partial evaluation provides a unifying paradigm for a broad spectrum of work in program optimization, compiling, interpretation and the generation of automatic program generators [Bjorner et al. 1987; Ershov 1992; and Jones et al. 1993]. It is a program optimization technique, perhaps better called program specialization, closely related to but different from Jorring and Scherlis' staging transformations [1986]. It emphasizes, in comparison with Burstall and Darlington [1977] and Jorring and Scherlis [1986] and other program transformation work, full automation and the generation of program generators as well as transforming single programs. Much partial evaluation work to date has concerned automatic compiler generation hom an interpretive definition of a programming language, but it also has important applications to scientific computing, logic programming, metaprogramming, and expert systems; some pointers are given later.
Keywords:
compilers
compiler generators
interpreters
partial evaluation
program specialization
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
28
Papers:
2.5K
Citations:
3.5W
Organization
No organization information available
Cited Papers
ShareSaveLysophosphatidylcholine aggravates contact hypersensitivity by promoting neutrophil infiltration and IL17 expression.png)
BMB Reports
OAAI
BMB ReportsIF0
OAAIShareSaveShareSaveThree-Dimensional In Vivo Imaging of the Murine Liver: A Micro-Computed Tomography-Based Anatomical StudyPLoS ONEOAAI
PLoS ONEIF0
OAAIShareSave
View more