Continuations: A Mathematical Semantics for Handling Full Jumps
- 148 Downloads
This paper describes a method of giving the mathematical semantics of programming languages which include the most general form of jumps.
KeywordsOperating System Artificial Intelligence Programming Language Mathematical Semantic Full Jump
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
- 1.Evans, A., Jr. PAL-alanguage for teaching programming linguistics. In Proc. 23rdACMNational Conference, Brandon Systems, Princeton, N.J., 1968, pp. 395-403.Google Scholar
- 2.Fischer, M.J. Lambda-calculus schemata. LISP and Symbolic Computation 6(3/4) (1993) 259-288. An earlier version appeared in an ACM Conference on Proving Assertions about Programs, SIGPLAN Notices, Vol. 7, No. 1, January 1972.Google Scholar
- 3.Landin, P.J. The mechanical evaluation of expressions. Computer Journal 6(4) (1964) 308-320.Google Scholar
- 4.Landin, P.J. The next 700 programming languages. Communications of the ACM 9(3) (1966) 157-164.Google Scholar
- 5.Mazurkiewicz, A. Proving algorithms by tail functions. Information and Control 18(3) (1971) 220-226.Google Scholar
- 6.Milne, R.E. The formal semantics of computer languages and their implementations. Ph.D. Thesis, Cambridge University, 1974. Also as Technical Monograph PRG-13, Oxford University Computing Laboratory, Programming Research Group.Google Scholar
- 7.Morris, F.L. The next 700 formal language descriptions. LISP and Symbolic Computation 6(3/4) (1993) 249-258.Google Scholar
- 8.Mosses, P.D. The mathematical semantics of Algol 60. Technical Monograph PRG-12, Oxford University Computing Laboratory, Programming Research Group, 1974.Google Scholar
- 9.Reynolds, J.C. Definitional interpreters for higher-order programming languages. In Proceedings of 25th ACM National Conference, Boston, 1972.Google Scholar
- 10.Reynolds, J.C. On the interpretation of Scott's domains. Informatica Teorica, Vol. 15 of Symposia Mathematica, Instituto Nazionale di Alta Matematica Roma, 1975, pp. 123-135. Distributed by Academic Press, London.Google Scholar
- 11.Scott, D. Continuous lattices. In Proc. of the 1971 Dalhousie Conference. Lecture Notes in Mathematics, Vol. 274, pp. 97-136, Springer-Verlag, 1972. Also as Technical Monograph PRG-7, Oxford University Computing Laboratory, Programming Research Group.Google Scholar
- 12.Scott, D. Outline of a mathematical theory of computation. In Proceedings of the Fourth Annual Princeton Conference on Information Sciences and Systems, 1970, pp. 169-176. Also as Technical Monograph PRG-2, Oxford University Computing Laboratory, Programming Research Group.Google Scholar
- 13.Scott, D. and Strachey, C.Toward a mathematical semantics for computer languages. In Proc. of the Symposium on Computers and Automata, Polytechnic Institute of Brooklyn, 1971. Also as Technical Monograph PRG-6, Oxford University Computing Laboratory, Programming Research Group.Google Scholar
- 14.Strachey, C. Varieties of programming language. In Proc. of the International Computing Symposium, Cini Foundation, 1972, pp. 222-233. Also as Technical Monograph PRG-10, Oxford University Computing Laboratory, Programming Research Group.Google Scholar
© Kluwer Academic Publishers 2000