On the efficient engineering of ambitious program analysis
- 1 January 1994
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 20 (2) , 105-114
- https://doi.org/10.1109/32.265631
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Eliminating false data dependences using the Omega testPublished by Association for Computing Machinery (ACM) ,1992
- Efficiently computing static single assignment form and the control dependence graphACM Transactions on Programming Languages and Systems, 1991
- Constant propagation with conditional branchesACM Transactions on Programming Languages and Systems, 1991
- An interval-based approach to exhaustive and incremental interprocedural data-flow analysisACM Transactions on Programming Languages and Systems, 1990
- An efficient method of computing static single assignment formPublished by Association for Computing Machinery (ACM) ,1989
- The parascope editor: an interactive parallel programming toolPublished by Association for Computing Machinery (ACM) ,1989
- An overview of the PTRAN analysis system for multiprocessingJournal of Parallel and Distributed Computing, 1988
- Automatic translation of FORTRAN programs to vector formACM Transactions on Programming Languages and Systems, 1987
- Constant propagation with conditional branchesPublished by Association for Computing Machinery (ACM) ,1985
- An efficient way to find the side effects of procedure calls and the aliases of variablesPublished by Association for Computing Machinery (ACM) ,1979