A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Toward formal development of programs from algebraic specifications: Implementations revisited
[chapter]
1987
Lecture Notes in Computer Science
The program development process is viewed as a sequence of implementation steps leading from a specification to a program. Based on an elementary notion of refinement, two notions of implementation are studied: constructor implementations which involve a construction "on top of" the implementing specification, and abstractor implementations which additionally provide for abstraction from some details of the implemented specification. These subsume most formal notions of implementation in the
doi:10.1007/3-540-17660-8_50
fatcat:zn4uy5v76ned3cezbr34fbmzby