MetaFJig（元FJig） swMATH ID: 30243 软件作者： Servetto，M。；祖卡，E 描述： MetaFJig：一种面向类Java类的元循环合成语言。我们提出了一种类似Java的语言，其中类定义是第一类值，通过充分利用语言本身的强大功能，可以从现有类中派生出新的类，这些类是在一小组基本合成操作符之上使用的，而不是使用像继承这样的固定机制。因此，编译需要通过我们称之为编译时执行的过程执行（元）缩减步骤。这种方法不同于主流语言中可用的元编程技术，因为它是元循环的，因此程序员不需要学习新的语法和习惯用法。通过一种轻量级技术，可以确保编译时的执行是正确的（而不是卡住），其中类合成错误是动态检测的，而传统的键入错误是通过将类型检查与元还原步骤交错进行检测的。这允许使用模块化方法，即在基础语言的类型检查和执行之上定义并实现编译时执行。此外，程序员可以处理由复合运算符引起的错误。除了稳健性之外，我们的技术还确保了一个称为元级稳健性的额外重要属性，也就是说，键入错误绝不源自已编译程序中的（元）代码。 主页： https://dl.acm.org/citation.cfm？id=1869498 相关软件： 羽毛特征;JML公司;轻量级Java 引用于： 1文件 3位作者引用 1 乔瓦尼·拉戈里奥 1 马可·塞韦托 1 埃琳娜·祖卡 连载1篇 1 信息与计算 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文