The Essence of Algol-Reference-Cited by-同舟云学术

The Essence of Algol

Published:1997 Issue: Volume: Page:67-88
ISSN:
Container-title:Algol-like Languages
language:
Short-container-title:

Author:

Reynolds John C.

Publisher

Birkhäuser Boston

Link

http://link.springer.com/content/pdf/10.1007/978-1-4612-4118-8_4.pdf

Reference29 articles.

1. P. Naur et al., Revised report on the algorithmic language ALGOL 60, Comm. ACM 6 (1) (January 1963) 1–17. See Chapter 1.

2. P. J. Landin, A λ-calculus approach, in: L. Fox (Ed.), Advances in Programming and Non-Numerical Computation (Pergamon Press, Oxford, 1966) pp. 97–141.

3. P. J. Landin, A correspondence between ALGOL 60 and Church’s lambda-notation, Comm. ACM 8 (2,3) (February-March 1965) 89–101 and 158–165.

4. J. Marthy, Recursive functions of symbolic expressions and their computation by machine, Part I, Comm. ACM 3 (4) (April 1960) 184–195.

5. P. Lucas, P. Lauer and H. Stigleitner, Method and Notation for the Formal Definition of Programming Languages, TR 25.087, IBM Laboratory Vienna. (June 1968).

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Operational Algorithmic Game Semantics;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26

2. A Type Discipline for Message Passing Parallel Programs;ACM Transactions on Programming Languages and Systems;2022-12-21

3. Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store;Lecture Notes in Computer Science;2020

4. On the Learnability of Programming Language Semantics;Electronic Proceedings in Theoretical Computer Science;2017-11-29

5. Probabilistic Analysis Based On Symbolic Game Semantics and Model Counting;Electronic Proceedings in Theoretical Computer Science;2017-09-06