A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
A Higher Order Reconstruction of Stepwise Enhancement
[chapter]
1998
Lecture Notes in Computer Science
EXTENDED ABSTRACT Motivation In the last couple of years, there has been renewed interest in systematic methods for the construction of This paper loosely characterises the progression of approaches that have been offered for systematic construction of logic (usually Prolog) programs. There is a trade-off between what is accessible for practical programmers and what is clearly explained in theory. We claim that both audiences can be addressed through stepwise enhancement. The method can be
doi:10.1007/3-540-49674-2_13
fatcat:wbezgfhz65c6hg6dtlnx65pjnm