Skip to Main content Skip to Navigation
New interface
Conference papers

Path-length analysis for object-oriented programs

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.
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download

https://hal.univ-reunion.fr/hal-01915777
Contributor : Réunion Univ Connect 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

File

Path_Length_analysis_for_objec...
Explicit agreement for this submission

Identifiers

  • HAL Id : hal-01915777, version 1

Collections

Citation

Fausto Spoto, Patricia M 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⟩

Share

Metrics

Record views

53

Files downloads

86