Interprocedural Shape Analysis for Recursive Programs
- 23 March 2001
- book chapter
- Published by Springer Nature
- p. 133-149
- https://doi.org/10.1007/3-540-45306-7_10
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Interprocedural heap analysis for parallelizing imperative programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Checking Cleanness in Linked ListsPublished by Springer Nature ,2000
- Parametric shape analysis via 3-valued logicPublished by Association for Computing Machinery (ACM) ,1999
- Solving shape-analysis problems in languages with destructive updatingACM Transactions on Programming Languages and Systems, 1998
- Putting pointer analysis to workPublished by Association for Computing Machinery (ACM) ,1998
- Analysis of pointers and structuresPublished by Association for Computing Machinery (ACM) ,1990
- On determining lifetime and aliasing of dynamically allocated data in higher-order functional specificationsPublished by Association for Computing Machinery (ACM) ,1990
- Detecting conflicts between structure accessesPublished by Association for Computing Machinery (ACM) ,1988
- A flexible approach to interprocedural data flow analysis and programs with recursive data structuresPublished by Association for Computing Machinery (ACM) ,1982
- Systematic design of program analysis frameworksPublished by Association for Computing Machinery (ACM) ,1979