The composition of semantics in Algol 68

DOI10.1145/362854.362874zbMath0227.68008OpenAlexW2035152990MaRDI QIDQ5634832

No author found.

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)

Related Items (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 ⋮ A nucleus of a theorem-prover described inAlgol-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 ⋮ Syntax extension using a run time model

Uses Software

• ALGOL 68

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