EATCS   2000
Wall of Fame | Most Viewed EATCS-2000 Paper
108views more  EATCS 2000»
13 years 7 months ago
The Underlying Logic of Hoare Logic
Formulas of Hoare logic are asserted programs where is a program and , are assertions. The language of programs varies; in the survey [Apt 1980], one finds the language of wh...
Andreas Blass, Yuri Gurevich
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source108
2Download preprint from source94
3Download preprint from source85
4Download preprint from source85
5Download preprint from source72
6Download preprint from source67
7Download preprint from source64
8Download preprint from source49