A Refinement Calculus for Logic Programs

What this record says

Existing refinement calculi provide frameworks for the stepwise development of imperative programs from specifications. This paper presents a refinement calculus

CATALOG · The abstract is indexed.