22 citations · 44 across the 9 of their papers we have counts for
1 paper · 2 filters
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…