Date: 2004-02-09 08:02:34

Program logic

Logic in computer science

Model theory

Hoare logic

Predicate transformer semantics

Modal logic

Function

Interpretation

If and only if

Logic

Mathematics

Mathematical logic

Local Reasoning about Programs that Alter Data Structures Peter O’Hearn1 , John Reynolds2 , and Hongseok Yang3

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 173,55 KB