Comparing flow and context sensitivity on the modification-side-effects problem
- 1 March 1998
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 23 (2) , 21-31
- https://doi.org/10.1145/271771.271782
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Program decomposition for pointer aliasingPublished by Association for Computing Machinery (ACM) ,1996
- Precise interprocedural dataflow analysis via graph reachabilityPublished by Association for Computing Machinery (ACM) ,1995
- Pointer-induced aliasingACM SIGPLAN Notices, 1993
- Interprocedural modification side effect analysis with pointer aliasingPublished by Association for Computing Machinery (ACM) ,1993
- A safe approximate algorithm for interprocedural aliasingPublished by Association for Computing Machinery (ACM) ,1992
- Pointer-induced aliasing: a problem taxonomyPublished by Association for Computing Machinery (ACM) ,1991
- An interval-based approach to exhaustive and incremental interprocedural data-flow analysisACM Transactions on Programming Languages and Systems, 1990
- Properties of data flow frameworksActa Informatica, 1990
- A flexible approach to interprocedural data flow analysis and programs with recursive data structuresPublished by Association for Computing Machinery (ACM) ,1982
- An efficient way to find the side effects of procedure calls and the aliases of variablesPublished by Association for Computing Machinery (ACM) ,1979