Parametric shape analysis via 3-valued logic
- 1 January 1999
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 105-118
- https://doi.org/10.1145/292540.292552
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- A storeless model of aliasing and its abstractions using finite representations of right-regular equivalence relationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A logic-based approach to program flow analysisActa Informatica, 1998
- Solving shape-analysis problems in languages with destructive updatingACM Transactions on Programming Languages and Systems, 1998
- Solving shape-analysis problems in languages with destructive updatingPublished by Association for Computing Machinery (ACM) ,1996
- Interprocedural may-alias analysis for pointersPublished by Association for Computing Machinery (ACM) ,1994
- A lattice for abstract interpretation of dynamic (LISP-like) structuresInformation and Computation, 1992
- Abstractions for recursive pointer data structuresPublished by Association for Computing Machinery (ACM) ,1992
- Analysis of pointers and structuresPublished by Association for Computing Machinery (ACM) ,1990
- Parallelizing programs with recursive data structuresIEEE Transactions on Parallel and Distributed Systems, 1990
- Detecting conflicts between structure accessesPublished by Association for Computing Machinery (ACM) ,1988