Remarks on R. D. Tennent's Language design methods based on semantic principles: Algol 68, a language designed using semantic principles

DOI10.1007/BF00269810zbMath0423.68002MaRDI QIDQ1134511

Daniel M. Berry

Publication date: 1981

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

Pascaldenotational semanticsabstractionlanguage designAlgol 68declarations

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (1)

Semantics of algorithmic languages

Uses Software

• ALGOL 68

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