@inproceedings{van Staden:2010:RMR:1869459.1869501, author = {van Staden, Stephan and Calcagno, Cristiano}, title = {Reasoning about multiple related abstractions with MultiStar}, booktitle = {Proceedings of the ACM international conference on Object oriented programming systems languages and applications (OOPSLA 2010)}, series = {OOPSLA '10}, year = {2010}, isbn = {978-1-4503-0203-6}, location = {Reno/Tahoe, Nevada, USA}, pages = {504--519}, numpages = {16}, acmid = {1869501}, publisher = {ACM}, address = {New York, NY, USA}, keywords = {axiom clauses, export clauses, multiple abstractions, multiple inheritance, separation logic}, urltopdf = {/people/vanstaden/MultiStarOOPSLA2010.pdf} }