Professional Documents
Culture Documents
BI as an assertion language
for mutable data structures. In Conference Record of POPL
2001 The 28th ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages,pages 14–26,New
York,2001. ACM.
H. Yang and P. W. O’Hearn. A semantic basis for local reasoning. In M. Nielsen and
U. Engberg,editors, Foundations
of Software Science and Computation Structures,volume
2303 of Lecture Notes in Computer Science,pages 402–416,
Berlin,2002. Springer-Verlag.