Connection Analysis: A Practical Interprocedural Heap Analysis for C
- 1 December 1996
- journal article
- research article
- Published by Springer Nature in International Journal of Parallel Programming
- Vol. 24 (6) , 547-578
- https://doi.org/10.1007/bf03356759
Abstract
No abstract availableKeywords
This publication has 6 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
- Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effectsPublished by Association for Computing Machinery (ACM) ,1993
- SPLASHACM SIGARCH Computer Architecture News, 1992
- Compiling lisp programs for parallel executionHigher-Order and Symbolic Computation, 1991
- Parallelizing programs with recursive data structuresIEEE Transactions on Parallel and Distributed Systems, 1990
- The interprocedural analysis and automatic parallelization of Scheme programsHigher-Order and Symbolic Computation, 1989