Samin S. Ishtiaq, Peter W. O Hearn. BI as an Assertion Language for Mutable Data Structures. In Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL, pages 14-26, Association for Computing Machinery, 2001.
@inproceedings{IshtiaqO01,
title = {BI as an Assertion Language for Mutable Data Structures},
author = {Samin S. Ishtiaq and Peter W. O Hearn},
year = {2001},
tags = {data-flow language, data-flow},
researchr = {https://researchr.org/publication/IshtiaqO01},
cites = {0},
citedby = {0},
pages = {14-26},
booktitle = {Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
series = {POPL},
publisher = {Association for Computing Machinery},
}