%0 Conference Paper %1 conf/birthday/KreikerRRSWY13 %A Kreiker, Jörg %A Reps, Thomas W. %A Rinetzky, Noam %A Sagiv, Mooly %A Wilhelm, Reinhard %A Yahav, Eran %B Programming Logics %D 2013 %E Voronkov, Andrei %E Weidenbach, Christoph %I Springer %K dblp %P 414-445 %T Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs. %U http://dblp.uni-trier.de/db/conf/birthday/ganzinger2013.html#KreikerRRSWY13 %V 7797 %@ 978-3-642-37650-4

@inproceedings{conf/birthday/KreikerRRSWY13, added-at = {2017-05-23T00:00:00.000+0200}, author = {Kreiker, Jörg and Reps, Thomas W. and Rinetzky, Noam and Sagiv, Mooly and Wilhelm, Reinhard and Yahav, Eran}, biburl = {https://www.bibsonomy.org/bibtex/262d52b77bef208ac161a6ab8e037e76e/dblp}, booktitle = {Programming Logics}, crossref = {conf/birthday/2013ganzinger}, editor = {Voronkov, Andrei and Weidenbach, Christoph}, ee = {https://doi.org/10.1007/978-3-642-37651-1_17}, interhash = {c82f50349d5d0b2928dba948b4b95cef}, intrahash = {62d52b77bef208ac161a6ab8e037e76e}, isbn = {978-3-642-37650-4}, keywords = {dblp}, pages = {414-445}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:20:23.000+0200}, title = {Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs.}, url = {http://dblp.uni-trier.de/db/conf/birthday/ganzinger2013.html#KreikerRRSWY13}, volume = 7797, year = 2013 }