Remarks on R. D. Tennent's Language design methods based on semantic principles: Algol 68, a language designed using semantic principles
From MaRDI portal
Publication:1134511
DOI10.1007/BF00269810zbMath0423.68002MaRDI QIDQ1134511
Publication date: 1981
Published in: Acta Informatica (Search for Journal in Brave)
Related Items (1)
Uses Software
Cites Work
- Proof rules for the programming language Euclid
- Pascal. User manual and report
- Report on the algorithmic language ALGOL 68
- An axiomatic definition of the programming language Pascal
- An introduction to the formal definition of ALGOL 68
- A semantic view of ALGOL 68
- A comparison of PASCAL and ALGOL 68
- The next 700 programming languages
- An axiomatic basis for computer programming
- GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
- The composition of semantics in Algol 68
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Remarks on R. D. Tennent's Language design methods based on semantic principles: Algol 68, a language designed using semantic principles