scientific article; zbMATH DE number 3874650

MaRDI QIDQ3340184zbMATH OpenFDO

Authors C. Hemerik

Publication date 1984

zbMATH Keywords

attributed grammarscompiler constructioninterpreterprogramming languagessemanticssyntax

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Theory of software (68N99) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• Formal languages and compilation
• Formal languages and compilation
• Formal compiler construction in a logical framework
• Towards a theory of semantics and compilers for programming languages
• scientific article; zbMATH DE number 439891
• scientific article; zbMATH DE number 814819
• On syntactical analysis and properties of formal programming languages
• Compiler construction. Theory, design, generation
• The formalization of some context conditions of programming languages
• Toward complete programming language descriptions that are both formal and understandable

Cited in

(2)

• A sharp proof rule for procedures in WP semantics
• scientific article; zbMATH DE number 3854387 (Why is no real title available?)

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