Meta languages in algebraic compilers

DOI10.1007/3-540-45499-3_10MaRDI QIDQ2767169zbMATH OpenFDO

Authors Eric Van Wyk

Publication date 28 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/11299/217356

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45)

Recommendations

• Specification languages in algebraic compilers
• Algebraic construction of compilers
• scientific article; zbMATH DE number 4076581
• SEMANTICS OF A METALOGIC PROGRAMMING LANGUAGE
• A compiler for an algebraic specification language
• scientific article; zbMATH DE number 1006087
• Metacomputation-based compiler architecture
• A metalogic programming approach: language, semantics and applications

Cited in

(4)

• Specification languages in algebraic compilers
• The \textsc{MetaCoq} project
• scientific article; zbMATH DE number 4076581 (Why is no real title available?)
• A metalanguage for guarded iteration

This page was built for publication: Meta languages in algebraic compilers

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