Local Reasoning about Programs that Alter Data Structures Peter O’Hearn1 , John Reynolds2 , and Hongseok Yang3 - Predicate logic - Document - PDFSEARCH.IO

First Page	Meta Content
	Local Reasoning about Programs that Alter Data Structures Peter O’Hearn1 , John Reynolds2 , and Hongseok Yang3 Add to Reading List Document Date: 2004-02-09 08:02:34 Open Document File Size: 173,55 KB Share Result on Facebook Event Environmental Issue / / Facility University of Illinois / University of London / Carnegie Mellon University University of Birmingham / / IndustryTerm derived law / type systems / / Organization Carnegie Mellon University University / University of Illinois / University of London / University of Birmingham / / Position Queen Mary / / ProvinceOrState Illinois / / Technology dom / / SocialTag Program logic Logic in computer science Model theory Hoare logic Predicate transformer semantics Modal logic Function Interpretation If and only if Logic

Local Reasoning about Programs that Alter Data Structures Peter O’Hearn1 , John Reynolds2 , and Hongseok Yang3Add to Reading List