开始搜索几个单词就足够了。如果您需要进行更复杂的查询，请使用以下提示进行指导。
文章类型：研究文章
作者：Štuikys，维塔塔斯|罗伯塔斯·达马舍维奇
附属公司：立陶宛考纳斯，考纳斯科技大学软件工程系，学生ų50-415，LT-51368，电子邮箱：[电子邮件保护],[电子邮件保护]
摘要：我们通过（1）在元程序结构中引入额外的抽象级别，以及（2）元程序转换来考虑异构元程序的泛化。我们定义基本术语，形式化转换任务，考虑元程序转换的属性和规则通过以下转换过程管理复杂性：（1）反向转换，将正确的一阶段元程序M1转换为等效的两阶段元程序M2；（2） 两阶段正向变换，当M2被变换为一组元程序，并且每个元程序被变换为一组目标程序时。结果如下：（a）异构元程序设计范式中转换过程的形式化；（b） 引入并批准元程序到元程序的等效转换，反之亦然；（c） 引入度量来评估meta-specifications的复杂性。通过实例、理论推导和实验验证了结果。
关键词：元程序设计、泛化、转换、元程序复杂性
日志：Informatica公司，第24卷，第2期，第315-337页，2013年
