An Introduction to Online and Offline Partial Evaluation using a Simple Flowchart Language
An Introduction to Online and Offline Partial Evaluation using a Simple Flowchart Language
复制标题
使用简单流程图语言介绍在线和离线部分评估
DOI：
--
复制
发表时间：
1998
期刊：
影响因子：
--
通讯作者：
J. Hatcliff
中科院分区：
文献类型：
--
作者：
J. Hatcliff
这些注释介绍了使用简单命令式语言FCL（Jones和Gomard介绍的流程图语言）进行部分求值的基本原则。主题包括在线部分求值器、离线部分求值器和绑定时间分析。讲座的目标是给出部分评估系统的语义的严格介绍，同时也提供实际实现的细节。每个部分求值系统由操作语义指定，并且每个部分求值系统都在Scheme和Java中实现。练习包括使用操作语义证明系统的各种属性，以及修改和扩展实现。
These notes present basic principles of partial evaluation using the simple imperative language FCL (a language of flowcharts introduced by Jones and Gomard). Topics include online partial evaluators, offline partial evaluators, and binding-time analysis. The goal of the lectures is to give a rigorous presentation of the semantics of partial evaluation systems, while also providing details of actual implementations. Each partial evaluation system is specified by an operational semantics, and each is implemented in Scheme and Java. Exercises include proving various properties about the systems using the operational semantics, and modifying and extending the implementations.