刷新 一种逻辑程序优化工具(扩展抽象)。本文介绍了一种逻辑程序求精的工具,它基于作者提出的求精演算[逻辑程序的精化规范]。在J.Gallagher编辑的《逻辑程序综合与转换》。1996年8月,瑞典斯德哥尔摩,LOPSTR'96,第六届国际研讨会论文集。笔记计算。科学。1207年(1997年)]。REFLP工具是交互式的,由用户驱动优化过程。REFLP建立在Ergo上,Ergo是一个可定制的交互式定理证明器,其基本证明范式是窗口推理。 zbMATH中的参考文献,1标准件) 显示结果1/1。 是的按年份排序(引用) 10 20 50 全部的 科尔文,罗伯特;海耶斯,伊恩;尼克森,雷;斯特罗普,保罗:逻辑程序精化的工具(扩展摘要)(1997)