反射波

逻辑程序求精的工具(扩展摘要)。本文介绍了一种工具,用于细化逻辑程序,基于作者提出的细化演算[精炼规范到逻辑程序。在J. Gallagher,ED中,逻辑程序的综合和变换。第六届国际研讨会论文集,LopSTR’96,斯德哥尔摩,瑞典,1996年8月。注释计算机。SCI。1207(1997)。该工具ErrPp是交互式的,用户驱动细化过程。ErgP是建立在ErGO上的,它是一个可定制的交互式定理证明器,其基本证明范式是窗口推理。

ZBMaX中的参考文献(1)中提到的1标准条款

显示1的结果1。
按年份排序(引文

  1. 科尔文,罗伯特;海因斯,伊恩;Nickson,瑞;Sopoper-保罗:逻辑程序提炼工具(扩展摘要)(1997)