Developing Logic Programs from Specifications Using Stepwise Refinement

Robert Colvin, Lindsay Groves, Ian J. Hayes, David Hemer, Ray Nickson, Paul A. Strooper. Developing Logic Programs from Specifications Using Stepwise Refinement. In Maurice Bruynooghe, Kung-Kiu Lau, editors, Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development. Volume 3049 of Lecture Notes in Computer Science, pages 66-89, Springer, 2004. [doi]

Abstract

Abstract is missing.