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
.
Algebraic methods for specification and formal development of programs
1999
ACM Computing Surveys
This note gives our personal perspective on the state of foundations of software specification and development including applications to the formal development of reliable complex software systems. We regard this area of research as straddling the borderline between theory and practice. It has connections with work on the design and semantics of software systems and programming languages, on formal methods for system verification (various program logics in particular), and relies heavily on
doi:10.1145/333580.333589
fatcat:wyih6yl2a5fwbayaubqa3moiw4