Local Reasoning about Programs that Alter Data Structures.

Peter W. O'Hearn John C. Reynolds Hongseok Yang

Published in: CSL (2001)

Keyphrases

data structure
data types
automatic programming
qualitative reasoning
real time
formal theory
spatial reasoning
real world
neural network
data model
domain specific
expert systems
computer programs
genetic algorithm
multidimensional data
database
provably correct
prolog programs