BI as an assertion language for mutable data structures
Ishtiaq, Samin S., O'Hearn, Peter W.Volume:
36
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/373243.375719
Date:
March, 2001
File:
PDF, 281 KB
english, 2001