马可·科米尼;乔治·列维;玛丽亚·希亚拉（Maria Chiara Meo）;朱利安娜·维蒂埃洛 抽象诊断。 （英语） Zbl 0947.68024号 J.日志。程序。 39，编号1-3，43-93（1999）. 摘要：我们展示了如何扩展声明性诊断技术，以应对操作属性的验证，如计算出的正确答案，以及抽象属性的验证（如深度（k）答案和基础相关性）。扩展是通过使用基于抽象解释的简单语义框架实现的。由此产生的技术（抽象诊断）导致了优雅的自下而上和自上而下验证方法，这些方法不需要预先确定症状，并且在由有限域描述的抽象属性的情况下有效。 引用于16文件 理学硕士： 68N17号 逻辑编程 68问题55 计算理论中的语义学 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：声明性诊断技术 PDF格式BibTeX公司 XML格式引用 \textit{M.Comini}等人，J.Log。程序。39，编号1--3，43-93（1999；Zbl 0947.68024） 全文： 内政部