反射波

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