Program Logics for Homogeneous Meta-programming

DOI10.1007/978-3-642-17511-4_5MaRDI QIDQ3066091zbMATH OpenOpenAlexFDO

Authors Martin Berger, Laurence Tratt

Publication date 7 January 2011

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://eprints.mdx.ac.uk/5929/1/Tratt-Program_Logics_for_Homogeneous_Meta-Programming-.pdf

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

Recommendations

• Program logics for homogeneous generative run-time meta-programming
• A generalized approach to metaprogramming in logic grammars
• Metacomputation and logic programming
• A metalogic programming approach: language, semantics and applications
• scientific article; zbMATH DE number 1070626
• scientific article; zbMATH DE number 1006087
• Meta programming on the proof level
• SEMANTICS OF A METALOGIC PROGRAMMING LANGUAGE
• Equivalent transformations of heterogeneous meta-programs
• scientific article; zbMATH DE number 4076581

Cited in

(12)

• scientific article; zbMATH DE number 2036328 (Why is no real title available?)
• Directly reflective meta-programming
• scientific article; zbMATH DE number 2018596 (Why is no real title available?)
• An observationally complete program logic for imperative higher-order functions
• In praise of impredicativity: a contribution to the formalization of meta-programming
• Program logics for homogeneous generative run-time meta-programming
• Equivalent transformations of heterogeneous meta-programs
• Statically safe program generation with SafeGen
• Meta-programming with names and necessity
• scientific article; zbMATH DE number 4076581 (Why is no real title available?)
• Formal Methods for Components and Objects
• On termination of meta-programs

This page was built for publication: Program Logics for Homogeneous Meta-programming

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