as an assertion language for mutable data structures (2001)

by BI
Venue:In Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL