Abstract : This paper describes a new static analysis for finding approximations to the path-length of variables in imperative, object-oriented programs. The path-length of a variable v is the cardinality of the longest chain of pointers that can be followed from v. It is shown how such information may be used for automatic termination inference of programs dealing with dynamically created data-structures.
https://hal.univ-reunion.fr/hal-01915777 Contributor : Réunion UnivConnect in order to contact the contributor Submitted on : Thursday, November 8, 2018 - 8:56:32 AM Last modification on : Monday, March 21, 2022 - 5:22:04 PM Long-term archiving on: : Saturday, February 9, 2019 - 12:34:39 PM
Fausto Spoto, Patricia Hill, Etienne Payet. Path-length analysis for object-oriented programs. First International Workshop on Emerging Applications of Abstract Interpretation (EAAI'06), Mar 2006, Vienne, Austria. ⟨hal-01915777⟩