Finite constants: Characterizations of a new decidable set of constants
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 481-491
- https://doi.org/10.1007/3-540-51486-4_94
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Optimal data flow analysis via observational equivalencePublished by Springer Nature ,1989
- Detecting equality of variables in programsPublished by Association for Computing Machinery (ACM) ,1988
- Constant propagation with conditional branchesPublished by Association for Computing Machinery (ACM) ,1985
- A program form based on data dependency in predicate regionsPublished by Association for Computing Machinery (ACM) ,1983
- Fast Algorithms for Solving Path ProblemsJournal of the ACM, 1981
- Symbolic evaluation and the global value graphPublished by Association for Computing Machinery (ACM) ,1977
- Global Data Flow Analysis and Iterative AlgorithmsJournal of the ACM, 1976
- Property extraction in well-founded property setsIEEE Transactions on Software Engineering, 1975
- A unified approach to global program optimizationPublished by Association for Computing Machinery (ACM) ,1973
- Control flow analysisACM SIGPLAN Notices, 1970