"A Critique of the Foundations of Hoare-Style Programming Logics" by Michael O'Donnell

Skip to main content

Department of Computer Science Technical Reports

Title

A Critique of the Foundations of Hoare-Style Programming Logics

Authors

Michael O'Donnell

Date of this Version

1980

Tech Report Number

80-338

Number of Pages

32

Included in

Computer Sciences Commons

COinS