A refinement calculus for logic programs

DOI10.1017/S1471068402001448zbMath1090.68532MaRDI QIDQ4452605

Robert J. Colvin, David Hemer, Ray Nickson, Ian J. Hayes, Paul A. Strooper

Publication date: 1 March 2004

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

declarative semantics

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Calculating modules in contextual logic program refinement

This page was built for publication: A refinement calculus for logic programs