%0 Conference Paper %1 conf/ppdp/BentonKBH07 %A Benton, Nick %A Kennedy, Andrew %A Beringer, Lennart %A Hofmann, Martin %B PPDP %D 2007 %E Leuschel, Michael %E Podelski, Andreas %I ACM %K dblp %P 87-96 %T Relational semantics for effect-based program transformations with dynamic allocation. %U http://dblp.uni-trier.de/db/conf/ppdp/ppdp2007.html#BentonKBH07 %@ 978-1-59593-769-8

@inproceedings{conf/ppdp/BentonKBH07, added-at = {2018-11-06T00:00:00.000+0100}, author = {Benton, Nick and Kennedy, Andrew and Beringer, Lennart and Hofmann, Martin}, biburl = {https://www.bibsonomy.org/bibtex/25c569b6d08c10954d643076f8a289dc8/dblp}, booktitle = {PPDP}, crossref = {conf/ppdp/2007}, editor = {Leuschel, Michael and Podelski, Andreas}, ee = {https://doi.org/10.1145/1273920.1273932}, interhash = {c7f76175bf3a2a89ab9436ea547e8aba}, intrahash = {5c569b6d08c10954d643076f8a289dc8}, isbn = {978-1-59593-769-8}, keywords = {dblp}, pages = {87-96}, publisher = {ACM}, timestamp = {2018-11-07T14:47:23.000+0100}, title = {Relational semantics for effect-based program transformations with dynamic allocation.}, url = {http://dblp.uni-trier.de/db/conf/ppdp/ppdp2007.html#BentonKBH07}, year = 2007 }