The composition of semantics in Algol 68

DOI10.1145/362854.362874MaRDI QIDQ5634832zbMATH OpenOpenAlexFDO

Authors

Publication date 1971

Published in Communications of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/362854.362874

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Cited in

(7)

• Remarks on R. D. Tennent's Language design methods based on semantic principles: Algol 68, a language designed using semantic principles
• Programming language ALGOL 68
• SEMANOL (73), a metalanguage for programming the semantics of programming languages
• A context-free syntax of ALGOL 68
• Relational level data structures for programming languages
• A nucleus of a theorem-prover described inAlgol-68
• Syntax extension using a run time model

Describes a project that uses

Uses Software

• ALGOL 68

This page was built for publication: The composition of semantics in Algol 68

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5634832)