马可·科米尼;乔治·列维;玛丽亚·希亚拉(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) 全文: 内政部