A Complete and Consistent Hoare Semantics for a Simple Programming Language.

John C. Cherniavsky, Samuel N. Kamin

Browse the full POPL paper archive.