DMCA

Semantics-Preserving Procedure Extraction (2000)

Cached

Download Links

by Raghavan Komondoor , Susan Horwitz
Venue:In POPL
Citations:41 - 3 self