An abstract, reusable, and extensible programming language design architecture
From MaRDI portal
Publication:1799296
DOI10.1007/978-3-642-41660-6_6zbMath1397.68023MaRDI QIDQ1799296
Publication date: 18 October 2018
Full work available at URL: https://doi.org/10.1007/978-3-642-41660-6_6
operational semantics; denotational semantics; \(\lambda\)-calculus; object-oriented programming; abstract machines; programming language design; polymorphic types; intermediate language; bottom-up parsing; declarative collections; LALR parser generation; monoid comprehensions; static/dynamic type-checking/inference
68N15: Theory of programming languages
68N18: Functional programming and lambda calculus
68Q55: Semantics in the theory of computing
Uses Software