scientific article; zbMATH DE number 194215

MaRDI QIDQ4041009zbMATH OpenFDO

Authors Gustaf Neumann

Publication date 5 June 1993

zbMATH Keywords

automatic program transformation techniquescompiler generatormeta-interpretermetaprogrammingprogramming methodologyProlog

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Logic programming (68N17) Theory of compilers and interpreters (68N20) Artificial intelligence (68T99)

Recommendations

• scientific article; zbMATH DE number 4076581
• scientific article; zbMATH DE number 3900124
• Partial evaluation of metaprograms in a ``multiple worlds logic language
• scientific article; zbMATH DE number 48465
• scientific article; zbMATH DE number 3978351

Cited in

(7)

• The \textsc{MetaCoq} project
• On termination of meta-programs
• scientific article; zbMATH DE number 4076581 (Why is no real title available?)
• scientific article; zbMATH DE number 88989 (Why is no real title available?)
• scientific article; zbMATH DE number 1208121 (Why is no real title available?)
• Hierarchical representation of legal knowledge with metaprogramming in logic
• Lightweight functional logic meta-programming

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