Program Logics for Homogeneous Meta-programming
DOI10.1007/978-3-642-17511-4_5zbMATH Open1253.68091OpenAlexW1481546108MaRDI QIDQ3066091FDOQ3066091
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
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
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)
Cited In (12)
- Directly reflective meta-programming
- Title not available (Why is that?)
- In praise of impredicativity: a contribution to the formalization of meta-programming
- An observationally complete program logic for imperative higher-order functions
- 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
- Title not available (Why is that?)
- Formal Methods for Components and Objects
- On termination of meta-programs
- Title not available (Why is that?)
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)
