Equivalent Transformations of Heterogeneous Meta-Programs

摘要: We consider a generalization of heterogeneous meta-programs by (1) introducing an extra level abstraction within the meta-program structure, and (2) transformations. define basic terms, formalize transformation tasks, properties transformations rules to manage complexity through following processes: reverse transformation, when correct one-stage M1 is transformed into equivalent two-stage meta-meta-program M2; forward transformations, M2 set meta-programs, each target programs. The results are as follows: (a) formalization processes meta-programming paradigm; (b) introduction approval meta-meta-programs vice versa; (c) metrics evaluate meta-specifications. approved examples, theoretical reasoning experiments.