Calculating modules in contextual logic program refinement

Robert Colvin, Ian J. Hayes, Paul Strooper

The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificati…