scientific article; zbMATH DE number 3707807

MaRDI QIDQ3899535zbMATH OpenFDO

Authors Teodor Rus

Publication date 1980

zbMATH Keywords

pattern matchingheterogeneous algebracompiler constructionnormal algorithmsyntax and semantics of programming languagesalgebraic specification of programming languages and compilerscontext-free algebras

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Cited in

(3)

• Equational type logic
• Category-sorted algebra-based action semantics
• Algebraic translations, correctness and algebraic compiler construction

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3899535)