swMATH ID: 1821
Software Authors: Colvin, Robert; Hayes, Ian; Nickson, Ray; Strooper, Paul
Description: 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.
Homepage: https://www.researchgate.net/publication/43515714_A_tool_for_logic_program_refinement_Extended_abstract
Keywords: refinement of logic programs
Related Software: Ergo 6
Cited in: 1 Publication

Cited in 0 Serials

Citations by Year