.png){kind=icon}
返回
.png){kind=icon}
.png){kind=icon}
摘要
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.
Keyword:
compilers
compiler generators
interpreters
partial evaluation
program specialization
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
28
论文数:
2.4K
被引数:
3.5W
机构
暂无机构信息
引用论文
Lysophosphatidylcholine aggravates contact hypersensitivity by promoting neutrophil infiltration and IL17 expression.png)
BMB Reports.png)
OAAI
BMB ReportsIF0
OAAI.png){kind=icon}
分享.png){kind=icon}
收藏分享收藏Three-Dimensional In Vivo Imaging of the Murine Liver: A Micro-Computed Tomography-Based Anatomical StudyPLoS ONEOAAI
PLoS ONEIF0
OAAI分享收藏
查看更多内容