An operational semantics for Scheme
An operational semantics for Scheme
复制标题
方案的操作语义
DOI：
10.1145/1039991.1039992
复制
发表时间：
1992
期刊：
影响因子：
--
通讯作者：
John D. Ramsdell
中科院分区：
文献类型：
--
作者：
John D. Ramsdell
在Scheme的非正式描述中，每个应用程序的操作数和运算符的求值顺序是未指定的。本文提出了一个操作语义的方案，忠实地反映了这一事实。此外，当语义是有限的，以假设有一个未指定的顺序在整个程序中使用，语义被证明是健全的方案的指称语义。
In the informal description of Scheme, the order of evaluating the operands and the operator of each application is unspecified. This paper presents an operational semantics for Scheme which faithfully reflects this fact. Furthermore, when the semantics is restricted so as to assume there is one unspecified order used throughout a program, the semantics is shown to be sound with respect to the denotational semantics of Scheme.