隐喻 swMATH ID: 8956 软件作者： 格雷戈里·内弗罗夫（Gregory Neverov）、保罗·罗（Paul Roe） 描述： 隐喻：一种多阶段、面向对象的编程语言。本文提出了一种语言（称为隐喻），用于在强类型、命令式、面向对象的环境中表示分段程序。该语言基于C#或Java的子集；它是多阶段的，提供了后期代码的静态类型检查。面向对象的框架通常提供类型内省或反射功能，以在运行时发现有关类型的信息。隐喻允许将此反射系统合并到语言的分段结构中，从而允许基于类型结构生成代码，这是在这些环境中生成代码的常见应用程序。本文介绍了该语言，给出了其类型系统的形式化描述，并讨论了该语言作为面向的编译器的原型实现。NET公共语言运行时。 主页： http://link.springer.com/chapter/10.1007/978-3-540-30175-2_9 相关软件： OCaml公司；方面J；卡宴；安全发电机；MetaKlaim公司 引用于： 2文件 5位作者引用 1 德雷克·德拉海姆 1 克里斯托夫·卢特罗思 1 格雷戈里·内弗罗夫 1 保罗·罗 1 杰拉尔德·韦伯 连载1篇 2 计算机程序设计科学 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文