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