Publication:3899535
From MaRDI portal
zbMath0452.68087MaRDI QIDQ3899535
Publication date: 1980
pattern matching; heterogeneous algebra; compiler construction; syntax and semantics of programming languages; normal algorithm; algebraic specification of programming languages and compilers; context-free algebras
68N20: Theory of compilers and interpreters
68Q55: Semantics in the theory of computing
68Q65: Abstract data types; algebraic specification
Related Items
Equational type logic, Algebraic translations, correctness and algebraic compiler construction, Category-sorted algebra-based action semantics