Finite constants: characterizations of a new decidable set of constants
- 31 December 1991
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 80 (2) , 303-318
- https://doi.org/10.1016/0304-3975(91)90392-f
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Optimal data flow analysis via observational equivalencePublished by Springer Nature ,1989
- Finite constants: Characterizations of a new decidable set of constantsPublished by Springer Nature ,1989
- Detecting equality of variables in programsPublished by Association for Computing Machinery (ACM) ,1988
- Efficient symbolic analysis of programsJournal of Computer and System Sciences, 1986
- A program form based on data dependency in predicate regionsPublished by Association for Computing Machinery (ACM) ,1983
- Symbolic evaluation and the global value graphPublished by Association for Computing Machinery (ACM) ,1977
- Monotone data flow analysis frameworksActa Informatica, 1977
- Global Data Flow Analysis and Iterative AlgorithmsJournal of the ACM, 1976
- A unified approach to global program optimizationPublished by Association for Computing Machinery (ACM) ,1973
- Control flow analysisACM SIGPLAN Notices, 1970