%0 Conference Paper %1 conf/esop/ParkinsonS11 %A Parkinson, Matthew J. %A Summers, Alexander J. %B ESOP %D 2011 %E Barthe, Gilles %I Springer %K dblp %P 439-458 %T The Relationship between Separation Logic and Implicit Dynamic Frames. %U http://dblp.uni-trier.de/db/conf/esop/esop2011.html#ParkinsonS11 %V 6602 %@ 978-3-642-19717-8

@inproceedings{conf/esop/ParkinsonS11, added-at = {2018-06-26T00:00:00.000+0200}, author = {Parkinson, Matthew J. and Summers, Alexander J.}, biburl = {https://www.bibsonomy.org/bibtex/268bdb192aef61511992bb4691580b896/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2011}, editor = {Barthe, Gilles}, ee = {https://doi.org/10.1007/978-3-642-19718-5_23}, interhash = {b3ce1170240c06e4a7a616e5feea01e5}, intrahash = {68bdb192aef61511992bb4691580b896}, isbn = {978-3-642-19717-8}, keywords = {dblp}, pages = {439-458}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:25:48.000+0200}, title = {The Relationship between Separation Logic and Implicit Dynamic Frames.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2011.html#ParkinsonS11}, volume = 6602, year = 2011 }