article · ACM SIGPLAN Lisp Pointers · 1992
An operational semantics for Scheme
Cited by 18Open access
Abstract
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.
Cite this paper
Ramsdell, J. D. (1992). An operational semantics for Scheme. ACM SIGPLAN Lisp Pointers, V(2), 6–10. https://doi.org/10.1145/1039991.1039992
Ramsdell, John D. “An operational semantics for Scheme.” ACM SIGPLAN Lisp Pointers, vol. V, no. 2, 1992, pp. 6–10, https://doi.org/10.1145/1039991.1039992.
Ramsdell, John D. 1992. “An operational semantics for Scheme.” ACM SIGPLAN Lisp Pointers V (2): 6–10. https://doi.org/10.1145/1039991.1039992.
Ramsdell, J.D. (1992) ‘An operational semantics for Scheme’, ACM SIGPLAN Lisp Pointers, V(2), pp. 6–10. Available at: https://doi.org/10.1145/1039991.1039992.
@article{ramsdell1992operational,
title = {{An operational semantics for Scheme}},
author = {Ramsdell, John D.},
journal = {ACM SIGPLAN Lisp Pointers},
volume = {V},
number = {2},
pages = {6--10},
year = {1992},
doi = {10.1145/1039991.1039992}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.