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
.
Designs with Angelic Nondeterminism
2013
2013 International Symposium on Theoretical Aspects of Software Engineering
The Unifying Theories of Programming (UTP) of Hoare and He is a predicative framework of relations suitable for the rigorous study of different programming paradigms. It promotes the reuse of results through the linking of theories. Particular aspects of programs can also be studied in isolation. In the UTP, the theory of designs provides not only a model for terminating programs (where pre and postcondition pairs can be specified), but also a basis for characterising state-rich concurrent and
doi:10.1109/tase.2013.18
dblp:conf/tase/RibeiroC13
fatcat:dq35raedvfband47q7sjcejdmm