Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Separation Logic, Abstraction and Inheritance

Matthew Parkinson and Gavin Bierman

Details

Publication typeInproceedings
Published inACM Symposium on Principles of Programming Languages (POPL'08)
PublisherAssociation for Computing Machinery, Inc.
> Publications > Separation Logic, Abstraction and Inheritance