Developing Logic Programs from Specifications Using Stepwise Refinement

Abstract

In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a running example to illustrate how the refinement calculus is used to develop logic programs. The paper also presents an overview of some of the advanced features of the calculus, including the introduction of higher-order procedures and the refinement of abstract data types.

DOI: 10.1007/978-3-540-25951-0_3

Extracted Key Phrases

1 Figure or Table

Cite this paper

@inproceedings{Colvin2004DevelopingLP, title={Developing Logic Programs from Specifications Using Stepwise Refinement}, author={Robert Colvin and Lindsay Groves and Ian J. Hayes and David Hemer and Ray Nickson and Paul A. Strooper}, booktitle={Program Development in Computational Logic}, year={2004} }