Static analysis of accessed regions in recursive data structures

DOI10.1007/3-540-44898-5_26MaRDI QIDQ4813416zbMATH OpenFDO

Authors Stephen Chong, Radu Rugina

Publication date 13 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2694/26940463.htm

Mathematics Subject Classification ID

Data structures (68P05) Searching and sorting (68P10)

Recommendations

• Interprocedural shape analysis for recursive programs
• Recognition of logically related regions based heap abstraction
• Region-based shape analysis with tracked locations
• Automatic inference of heap properties exploiting value domains
• Automatically analyzing inductive properties for recursive data structures

Cited in

(4)

• A compile/Run-time environment for the automatic transformation of linked list data structures
• Recognition of logically related regions based heap abstraction
• Access analysis-based tight localization of abstract memories
• Interprocedural shape analysis for effectively cutpoint-free programs

This page was built for publication: Static analysis of accessed regions in recursive data structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4813416)