Static Specification Analysis for Termination of Specification-Based Data Structure Repair.

Brian Demsky, Martin C. Rinard

Browse the full ISSRE paper archive.