A tool for logic program refinement (extended abstract). This paper describes a tool for the refinement of logic programs, based on the refinement calculus presented by the authors [Refining specifications to logic programs. In J. Gallagher, ed., Logic Program Synthesis and Transformation. Proceedings of the 6th International Workshop, LOPSTR’96, Stockholm, Sweden, August 1996, Lect. Notes Comput. Sci. 1207 (1997)]. The tool, REFLP, is interactive, with the user driving the refinement process. REFLP is built on Ergo, a customisable interactive theorem prover whose basic proof paradigm is window inference.
References in zbMATH (referenced in 1 article , 1 standard article )
Showing result 1 of 1.
- Colvin, Robert; Hayes, Ian; Nickson, Ray; Strooper, Paul: A tool for logic program refinement (extended abstract) (1997)