Abstract
The use of continuations in the definition of programming languages has gained considerable currency recently, particularly in conjunction with the lattice-theoretic methods of D. Scott. Although continuations are apparently needed to provide a mathematical semantics for non-applicative control features, they are unnecessary for the definition of a purely applicative language, even when call-by-value occurs. This raises the question of the relationship between the direct and the continuation semantic functions for a purely applicative language. We give two theorems which specify this relationship and show that, in a precise sense, direct semantics are included in continuation semantics.
The heart of the problem is the construction of a relation which must be a fixed-point of a non-monotonic “relational functor.” A general method is given for the construction of such relations between recursively defined domains.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Morris, L., The Next 700 Programming Language Descriptions. Unpublished.
Strachey, C. and Wadsworth, C. P., Continuations - A Mathematical Semantics for Handling Full Jumps. Tech. Monograph PRG-11, Programming Research Group Oxford University Computing Laboratory, January 1974.
Reynolds, J. C., “Definitional Interpreters for Higher-Order Programming Languages”, Proc. 25th National ACM Conference, Boston, August 1972.
Tennent, R. D., Mathematical Semantics and Design of Programming Languages. Ph.D. Thesis, University of Toronto, October, 1973.
Landin, P. J., “A Correspondence Between ALGOL 60 and Church’s Lambda-Notation”. Comm ACM 8 (February-March 1965), 89–101 and 158–165.
Scott, D., “Lattice-Theoretic Models for Various Type-Free Calculi,” Proc. Fourth International Congress for Logic, Methodology, and the Philosophy of Science, Bucharest (1972).
Naur, P., et al. Revised Report on the Algorithmic Language ALGOL 60. Comm ACM 6, 1 (January 1963), 1–17.
Scott, D., “Continuous Lattices,” Proc. 1971 Dalhousie Conf., Springer Lecture Note Series, Springer-Verlag, Heidelberg. Also, Tech. Monograph PRG-7, Programming Research Group, Oxford University Computing Laboratory, August 1971.
Reynolds, J. C., “Notes on a Lattice-Theoretic Approach to the Theory of Computation”, Systems and Information Science, Syracuse University, October 1972.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1974 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Reynolds, J.C. (1974). On the Relation between Direct and Continuation Semantics. In: Loeckx, J. (eds) Automata, Languages and Programming. ICALP 1974. Lecture Notes in Computer Science, vol 14. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-21545-6_10
Download citation
DOI: https://doi.org/10.1007/978-3-662-21545-6_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-06841-9
Online ISBN: 978-3-662-21545-6
eBook Packages: Springer Book Archive