Program decomposition for pointer aliasing
- 1 October 1996
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 21 (6), 81-92
- https://doi.org/10.1145/239098.239112
Abstract
No abstract availableThis publication has 32 references indexed in Scilit:
- Flow-insensitive interprocedural alias analysis in the presence of pointersLecture Notes in Computer Science, 1995
- The undecidability of aliasingACM Transactions on Programming Languages and Systems, 1994
- Efficient computation of interprocedural definition-use chainsACM Transactions on Programming Languages and Systems, 1994
- Pointer-induced aliasingACM SIGPLAN Notices, 1993
- Undecidability of static analysisACM Letters on Programming Languages and Systems, 1992
- A program integration algorithm that accommodates semantics-preserving transformationsACM SIGSOFT Software Engineering Notes, 1990
- Profiling an incremental data flow analysis algorithmIEEE Transactions on Software Engineering, 1990
- Parallelizing programs with recursive data structuresIEEE Transactions on Parallel and Distributed Systems, 1990
- Integrating noninterfering versions of programsACM Transactions on Programming Languages and Systems, 1989
- Incremental data-flow analysis algorithmsACM Transactions on Programming Languages and Systems, 1988