Constant Propagation on the Value Graph: Simple Constants and Beyond
Authors:
- 1 January 2000
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 94-110
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Parallel constant propagation1998
- A practical framework for demand-driven interprocedural data flow analysisACM Transactions on Programming Languages and Systems, 1997
- Combining analyses, combining optimizationsACM Transactions on Programming Languages and Systems, 1995
- Efficiently computing static single assignment form and the control dependence graphACM Transactions on Programming Languages and Systems, 1991
- Interprocedural constant propagation1986
- Data flow analysis for `intractable' system software1986
- Compiler Analysis of the Value Ranges for VariablesIEEE Transactions on Software Engineering, 1977
- Monotone data flow analysis frameworksActa Informatica, 1977
- Global Data Flow Analysis and Iterative AlgorithmsJournal of the ACM, 1976
- A Fast and Usually Linear Algorithm for Global Flow AnalysisJournal of the ACM, 1976