Equivalent transformations of heterogeneous meta-programs

MaRDI QIDQ2986014zbMATH OpenFDO

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

zbMATH Keywords

transformationgeneralizationmeta-programmingmeta-program complexity

Mathematics Subject Classification ID

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

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

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)