Raghavan Komondoor, Susan Horwitz. Semantics-Preserving Procedure Extraction. In POPL. pages 155-169, 2000. [doi]
@inproceedings{KomondoorH00, title = {Semantics-Preserving Procedure Extraction}, author = {Raghavan Komondoor and Susan Horwitz}, year = {2000}, doi = {10.1145/325694.325713}, url = {http://doi.acm.org/10.1145/325694.325713}, tags = {semantics}, researchr = {https://researchr.org/publication/KomondoorH00}, cites = {0}, citedby = {0}, pages = {155-169}, booktitle = {POPL}, }