scientific article; zbMATH DE number 3640846

MaRDI QIDQ4199499zbMATH OpenFDO

Authors James W. Thatcher, Jesse B. Wright, Eric G. Wagner

Publication date 1979

zbMATH Keywords

algebraic semanticscompiler correctnessflow- chartsstructuring compilers

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(6)

• Composition and evaluation of attribute coupled grammars
• Algebraic translations, correctness and algebraic compiler construction
• Abstract data types and algebraic semantics of programming languages
• Specification languages in algebraic compilers
• An overview of compositional translations
• A systematic study of models of abstract data types

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 Q4199499)