Equivalent transformations of heterogeneous meta-programs

zbMATH Open1360.68308MaRDI QIDQ2986014FDOQ2986014

Authors: Vytautas Štuikys, Robertas Damaševičius 

Publication date: 11 May 2017

Full work available at URL: http://content.iospress.com/articles/informatica/inf24-2-09

Recommendations

• Program Logics for Homogeneous Meta-programming
• Program logics for homogeneous generative run-time meta-programming
• scientific article; zbMATH DE number 2018596
• scientific article; zbMATH DE number 4076581
• Recursive programs and the hierarchy of their models

zbMATH Keywords

transformationgeneralizationmeta-programmingmeta-program complexity

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of compilers and interpreters (68N20)

Cited In (2)

• Program logics for homogeneous generative run-time meta-programming
• Program Logics for Homogeneous Meta-programming

This page was built for publication: Equivalent transformations of heterogeneous meta-programs

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