Publication:3998188

zbMath0743.68003MaRDI QIDQ3998188

Friedrich L. Bauer, Gerhard Goos

Publication date: 17 September 1992

zbMATH Keywords

semantics; rewriting systems; abstract data types; storage allocation

Mathematics Subject Classification ID

68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science

68Q45: Formal languages and automata

68Q55: Semantics in the theory of computing

68Q65: Abstract data types; algebraic specification

Uses Software

• ALGOL 68