scientific article
From MaRDI portal
Publication:3899535
zbMath0452.68087MaRDI QIDQ3899535
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
pattern matchingheterogeneous algebracompiler constructionsyntax and semantics of programming languagesnormal algorithmalgebraic specification of programming languages and compilerscontext-free algebras
Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)
Related Items (3)
Category-sorted algebra-based action semantics ⋮ Algebraic translations, correctness and algebraic compiler construction ⋮ Equational type logic
This page was built for publication:
