Microsoft Research
Microsoft Translator |
BI as an Assertion Language for Mutable Data Structures

Samin Ishtiaq and Peter O'Hearn
2001

IshtiaqOHearnPOPL01.pdf
PDF file

In  POPL

Details

TypeInproceedings
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > BI as an Assertion Language for Mutable Data Structures