SEMANOL (73), a metalanguage for programming the semantics of programming languages

DOI10.1007/BF00268496zbMath0309.68011OpenAlexW2038371881MaRDI QIDQ1219158

F. C. Belz, Edward K. Blum, E. R. Anderson

Publication date: 1976

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

Full work available at URL: https://doi.org/10.1007/bf00268496

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

SEMANOL (73), a metalanguage for programming the semantics of programming languages, Semantics of algorithmic languages, SEMANOL

Uses Software

• ALGOL 68
• ALGOL 60

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• SEMANOL (73), a metalanguage for programming the semantics of programming languages
• Towards a theory of semantics and compilers for programming languages
• An axiomatic definition of the programming language Pascal
• Correspondence between ALGOL 60 and Church's Lambda-notation
• Semantics of context-free languages
• An axiomatic basis for computer programming
• An Algorithmic Semantics for ALGOL 60 Identifier Denotation
• The composition of semantics in Algol 68
• Modeling of storage properties of higher-level languages