Standard, storeless semantics for ALGOL-style block structure and call-by-name

Publisher Website

1 January 1986

book chapter
Published by Springer Nature in Lecture Notes in Computer Science

p. 1-19
https://doi.org/10.1007/3-540-16816-8_22

Abstract

No abstract available

Keywords

This publication has 6 references indexed in Scilit:

Properties of a Notation for Combining Functions
Journal of the ACM, 1983
The Denotational Description of Programming Languages
Published by Springer Nature ,1979
Aspects of applicative programming for file systems (Preliminary Version)
ACM SIGPLAN Notices, 1977
A lambda-calculus model of programming languages—I. Simple constructs
Computer Languages, 1975
Correspondence between ALGOL 60 and Church's Lambda-notation
Communications of the ACM, 1965
Revised report on the algorithmic language ALGOL 60
Communications of the ACM, 1963

Cited by 3 articles