Michael Leuschel先生;斯蒂芬·克雷格;丹·埃尔菲克 使用在线技术监督逻辑程序的离线部分评估。 （英语） 兹比尔1196.68033 Puebla，Germanán（编辑），基于逻辑的程序合成和转换。2006年7月12日至14日在意大利威尼斯举行的2006年LOPSTR第16届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-71409-5/pbk）。计算机科学课堂讲稿4407，43-59（2007）。 摘要：离线部分评估更广泛使用的一个主要障碍是难以获得和维护更大、更现实的程序的注释。现有的自动绑定时间分析的适用性仍然有限，注释通常必须手动创建、改进和维护，从而导致错误。我们提出了一种技术，通过使用在线控制技术来帮助克服这个问题，该技术监督专业化过程，以检测此类错误。我们讨论了logen系统中的一个实现，并通过一系列示例表明了该方法的有效性：在快速检测无限循环的同时，很少出现错误警报。我们还介绍了将此技术集成到web界面中的方法，它直接在源代码中突出显示了有问题的注释。提出了一种自动修复错误注释的方法，使该方法也可以用作实用的绑定时间分析。最后，我们展示了如何使用我们的方法在Prolog源代码中使用内置程序有效地定位错误。关于整个系列，请参见[Zbl 1116.68007号]. 引用于三文件 MSC公司： 68N17号 逻辑编程 软件：水银;幼儿保育和教育;DPPD公司;LOGEN公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Leuschel}等人，Lect。注释计算。科学。4407、43-59（2007年；Zbl 1196.68033） 全文： 内政部 链接