上田，Kazunori 一个用于并行约束语言Flat GHC的纯元解释器。 （英语） Zbl 1012.68502号 安东尼斯·卡卡斯（Antonis C.）等人，《计算逻辑：逻辑编程及其以外》。纪念罗伯特·科瓦尔斯基的论文。第1部分：。柏林：斯普林格。莱克特。注释计算。科学。2407, 138-161 (2002). 摘要：本文讨论了最简单、最早的并发约束语言之一Flat GHC的元解释器的构建。元解释在逻辑编程中有着悠久的历史，广泛应用于构建编程系统、添加功能、修改操作语义和评估策略等。相比之下，我们的目标是设计一对（i）适合代码迁移的程序表示和（ii）所表示代码的纯解释器（或虚拟机），考虑到并发约束编程的网络应用。这比看起来更具挑战性；事实上，许多编程语言的元解释器通过向语言中添加小原语并利用其功能来实现其目标。纯、简单并发语言中的元解释器非常有用，因为它完全可以接受包括部分评估在内的理论支持。经过多次尝试和错误，我们终于树码是Flat GHC程序的一种地面表示形式，可以很容易地解释、通过网络传输并转换回原始语法。本文描述了解释器是如何工作的，微妙之处在哪里，以及它的设计意味着什么。它还描述了如何通过Flat GHC的展开/折叠转换系统将给定程序树码的解释器部分评估为原始程序。关于整个系列，请参见[Zbl 0997.00043号]. MSC公司： 68N17号 逻辑编程 68甲15 编程语言理论 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 软件：GHC公司;基马;欧兹 PDF格式BibTeX公司 XML格式引用 \textit{K.Ueda}，莱克特。注释计算。科学。2407，138--161（2002；Zbl 1012.68502） 全文： 链接