Back to Results
First PageMeta Content
Formal methods / Monitor / Hoare logic / Invariant / Loop invariant / Flag semaphore / Variable / ALGOL 68 / Predicate transformer semantics


1 Introduction One of the most influential papers of Computer Science to appear during the late 1960’s undoubtedly was Tony’s “An Axiomatic Basis for Computer Programming” [1], introducing a special purpose logi
Add to Reading List

Document Date: 2013-09-23 13:44:35


Open Document

File Size: 122,33 KB

Share Result on Facebook
UPDATE