Leuschel，迈克尔;斯蒂芬·克雷格。;莫里斯·布吕诺格;温·范霍夫 使用离线部分演绎的专业口译员。 （英语） Zbl 1080.68553号 Bruynooghe，Maurice（编辑）等人，《计算逻辑中的程序开发》。基于逻辑的程序开发的十年研究进展。柏林：施普林格出版社（ISBN 3-540-22152-2/pbk）。计算机科学课堂讲稿3049340-375（2004）。 摘要：我们介绍了逻辑程序的LOGEN部分评估系统的最新版本。特别是，我们提出了新的绑定类型，并展示了如何使用它们来有效地专门化各种口译员。我们展示了如何以系统的方式为几个口译员实现Jones优化。最后，我们提出并专门为一种小型函数式编程语言提供一个非平凡的解释器。实验结果也给出了，强调LOGEN系统可以成为生成高级语言编译器的良好基础。关于整个系列，请参见[Zbl 1051.68004号]. 引用于三文件 MSC公司： 68N17号 逻辑编程 软件：幼儿保育和教育;ProB公司;LOGEN公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Leuschel}等人，Lect。注释计算。科学。3049340-375（2004年；Zbl 1080.68553） 全文： 内政部