Search Results for 'hoare triple'
hoare triple published presentations and documents on DocSlides.
Algebra unifies calculi of programming
by stefany-barnette
Tony Hoare. Feb 2012. With Ideas from. Ian Wehrma...
Hoare’s Correctness Triplets
by calandra-battersby
Dijkstra’s Predicate Transformer. s. Axiomatic...
Towards a Unified Theory of Operational and Axiomatic Seman
by tawny-fly
Grigore. . Rosu. and Andrei . Stefanescu. Unive...