Finite constants: characterizations of a new decidable set of constants

Aho, 1977 Allen, 1970, Control flow analysis, ACM Sigplan Notices, 10.1145/390013.808479 Alpern, 1988, Detecting equality of variables in programs, 15th POPL, 1 Cocke, 1970, Programming languages and their compilers Donzeau-Gouge, 1981, Denotational definition of properties of program computations Ferrante, 1983, A program form based on data dependency in predicate regions, 10th POPL, 217 Kennedy, 1973, Variable subsumption with constant folding Kildall, 1972, Global expression optimization during compilation Kildall, 1973, A unified approach to global program optimization, 1st POPL, 194 Kam, 1976, Global data flow analysis and iterative algorithms, J. ACM, 23, 158, 10.1145/321921.321938 Kam, 1977, Monotone data flow analysis frameworks, Acta Inform., 7, 309, 10.1007/BF00290339 Nielson, 1986, A bibliography on abstract interpretations, ACM Sigplan Notices, 21, 31 Reif, 1977, Symbolic evaluation and the global value graph, 4th POPL, 104 Reif, 1982, Efficient symbolic analysis of programs Steffen, 1987, Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten. Ein Optimalitätskonzept und seine Anwendung Steffen, 1987, Optimal run time optimization. Provedby a new look at abstract interpretations, 249 Steffen, 1989, Optimal data flow analysis via observational equivalence, 379, 492 Steffen, 1989, Finite constants: characterizations of a new decidable set of constants, 379, 481 Steffen, 1989, Finite constants: characterizations of a new decidable set of constants B. Steffen and J. Knoop, Term closures for optimal program optimization, in preparation. Tarjan, 1981, Fast algorithms for solving path problems, J. ACM, 28, 594, 10.1145/322261.322273 Wegbreit, 1975, Property extraction in well-founded property sets, IEEE Trans. Software Engineering, 1, 270, 10.1109/TSE.1975.6312852 Wilhelm, 1981, Global flow analysis and optimization in the MUG2 compiler generating system Wegman, 1985, Constant propagation with conditional branches, 12th POPL, 291