轻量级Go语言的类型导向翻译方案中的语义保留
摘要：羽量级Go（FG）是一个包含关键Go特性（如重载方法和接口类型）的最小核心计算模型。描述FG程序动态行为最直接的语义描述方法是基于运行时类型信息解析方法调用。更高效的方法是应用一种类型导向的转换方案，其中接口值被替换为包含具体方法定义的字典。因此，通过在字典中简单查找方法定义，可以解析方法调用。确立通过类型导向的翻译方案获得的目标程序保持原始FG程序语义的重要任务。为了建立这个属性，我们使用以类型为索引的逻辑关系来关联源程序和目标程序。我们提供了严格的证明，并详细讨论了我们遇到的许多微妙的问题，包括由于递归的接口和方法定义而需要一个步骤索引的需要。
作者：Martin Sulzmann and Stefan Wehr
论文ID：2206.09980
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-06-22