Finite constants: characterizations of a new decidable set of constants

Authors:
Bernhard Steffen;Jens Knoop
Affiliations:
Univ. of Edinburgh, Edinburgh, Scotland, UK;Christian-Albrechts-Univ., Kiel, Germany
Venue:
MFCS '89 Selected papers of the symposium on Mathematical foundations of computer science
Year:
1991

On the Complexity of Constant Propagation

ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Polynomial Constants Are Decidable

SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Constant Propagation on the Value Graph: Simple Constants and Beyond

CC '00 Proceedings of the 9th International Conference on Compiler Construction
Optimal interprocedural program optimization: a new framework and its application

Optimal interprocedural program optimization: a new framework and its application

Hi-index	0.00