Title | ||
---|---|---|
Methodology and Experiments to Transform Heterogeneous Meta-program into Meta-meta-programs. |
Abstract | ||
---|---|---|
The paper analyzes transformation of a correct heterogeneous meta-program into 2-stage meta-programs. We propose a methodology and describe experiments to solve two tasks: I) transformation of the 1-stage meta-program into the set of 2-stage meta-programs; 2) checking hypothesis of the transformation equivalence under given transformation rules and constraints. The experimental results have shown that introduced formalism, rules and models ensure correctness of transformations, extend reuse dimension to automatically adapt (through transformations) variants of programs/meta-programs to different contexts of use, enable to better understand meta-program development/change processes and heterogeneous meta-programming per se. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-33308-8_18 | Communications in Computer and Information Science |
Keywords | Field | DocType |
meta-program,meta-parameter,meta-programming,multi-stage heterogeneous meta-program | Metaprogramming,Computer science,Reuse,Correctness,Theoretical computer science,Equivalence (measure theory),Formalism (philosophy) | Conference |
Volume | ISSN | Citations |
319 | 1865-0929 | 1 |
PageRank | References | Authors |
0.36 | 10 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Vytautas Stuikys | 1 | 102 | 17.07 |
Kristina Bespalova | 2 | 4 | 2.43 |