REFLP 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 Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year A tool for logic program refinement (extended abstract). Zbl 0888.68082Colvin, Robert; Hayes, Ian; Nickson, Ray; Strooper, Paul 1997 Cited by 4 Authors 1 Colvin, Robert J. 1 Hayes, Ian J. 1 Nickson, Ray 1 Strooper, Paul A. Cited in 0 Serials Cited in 1 Field 1 Computer science (68-XX) Citations by Year