Path-length analysis for object-oriented programs - Université de La Réunion Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Path-length analysis for object-oriented programs

Résumé

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.
Fichier principal
Vignette du fichier
Path_Length_analysis_for_object_oriented_programs.pdf (203.5 Ko) Télécharger le fichier
Origine : Accord explicite pour ce dépôt
Loading...

Dates et versions

hal-01915777 , version 1 (08-11-2018)

Identifiants

  • HAL Id : hal-01915777 , version 1

Citer

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⟩
53 Consultations
96 Téléchargements

Partager

Gmail Facebook X LinkedIn More