%0 Conference Paper %1 conf/popl/KomondoorH00 %A Komondoor, Raghavan %A Horwitz, Susan %B POPL %D 2000 %E Wegman, Mark N. %E Reps, Thomas W. %I ACM %K dblp %P 155-169 %T Semantics-Preserving Procedure Extraction. %U http://dblp.uni-trier.de/db/conf/popl/popl2000.html#KomondoorH00 %@ 1-58113-125-9

@inproceedings{conf/popl/KomondoorH00, added-at = {2018-11-06T00:00:00.000+0100}, author = {Komondoor, Raghavan and Horwitz, Susan}, biburl = {https://www.bibsonomy.org/bibtex/21c0f11610be06b5d4b222725d49d9f73/dblp}, booktitle = {POPL}, crossref = {conf/popl/2000}, editor = {Wegman, Mark N. and Reps, Thomas W.}, ee = {https://doi.org/10.1145/325694.325713}, interhash = {9ed9b147ad30dd6833767e3830dfaa25}, intrahash = {1c0f11610be06b5d4b222725d49d9f73}, isbn = {1-58113-125-9}, keywords = {dblp}, pages = {155-169}, publisher = {ACM}, timestamp = {2018-11-07T16:47:23.000+0100}, title = {Semantics-Preserving Procedure Extraction.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2000.html#KomondoorH00}, year = 2000 }