Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Reasoning about Shared Mutable Data Structure
 

Summary: Further
Reasoning about Shared
Mutable Data Structure
John C. Reynolds
Department of Computer Science
Carnegie Mellon University
and
BRICS, Department of Computer Science
University of Aarhus
Joint work with
Peter W. O'Hearn and Hongseok Yang
June 6, 2001 (corrected June 11)
1

2
Basic Ideas
 Extension of Hoare logic for imperative programs
 Low-level programming language
{ Store/heap dichotomy (both updatable)
{ Heap-manipulation commands (not expressions)

  

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University
Reynolds, John C. - School of Computer Science, Carnegie Mellon University

 

Collections: Computer Technologies and Information Sciences; Mathematics