A Generalization of Jumps and Labels

Higher-Order and Symbolic Computation

Volumn 11, Issue 2, 1998, Pages 125-143

  Landin, Peter J ^a  

^a QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; FORMAL LOGIC; SUBROUTINES;

FUNCTIONAL PROGRAMMING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0032288994     PISSN: 13883690     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1010068630801     Document Type: Article

References (10)

1. Burge, W.H., "The Evaluation, Classification and Interpretation of expressions," Proceedings of the 19th National ACM Conference, 1964.
2. Gilmore, P.C., "An abstract computer with a LISP-like machine language without a label operator," In Computer Programming and Formal Systems, ed. Braffort, P., and Hirschberg, D., North Holland Publishing Co., Amsterdam, 1963.
3. Landin, P.J., "The Mechanical evaluation of expressions," Comp. J. 6, pp. 308-320.
4. Landin, P.J., "A Correspondence between ALGOL 60 and Church's Lambda-notation," Comm. ACM 8, 89-101, 158-165, 1965.
5. Landin, P.J., "A formal description of ALGOL 60." Presented at IFIP Working Conf., Baden, Sept. 1964.
6. Landin, P.J., "Programming without Imperatives - an Example," UNIVAC S.P. Research Report (March, 1965)
7. Landin, P.J., "Getting Rid of Labels," UNIVAC S.P. Research Report (July, 1965)
8. McCarthy, J., "Towards a mathematical science of computation." IFIP Munich Conference, 1962, North Holland, Amsterdam, 1963.
9. Van Wijngaarden, A., "Recursive definition of syntax and semantics." Presented at IFIP Working Conf., Baden, Sept. 1964.
10. Landin, P.J., "An Analysis of Assignment in Programming Languages," UNIVAC S.P. Research Report (September, 1965)