Publication:3995133

zbMath0744.68035MaRDI QIDQ3995133

Mads Tofte

Publication date: 17 September 1992

zbMATH Keywords

algebraic semantics; compiler generator; semantic languages

Mathematics Subject Classification ID

68N20: Theory of compilers and interpreters

68Q55: Semantics in the theory of computing

68-02: Research exposition (monographs, survey articles) pertaining to computer science

Related Items

Algebraic translations, correctness and algebraic compiler construction, Static semantics, types, and binding time analysis