scientific article; zbMATH DE number 3707807

zbMATH Open0452.68087MaRDI QIDQ3899535FDOQ3899535

Authors: Teodor Rus 

Publication date: 1980

Title of this publication is not available (Why is that?)

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)

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

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)