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

Wed, 01 Jan 2003 00:00:00 +0100

Brian Demsky, Martin C. Rinard:
Static Specification Analysis for Termination of Specification-Based Data Structure Repair. ISSRE 2003: 71-84