Affordable Access

Publisher Website

Finite constants: characterizations of a new decidable set of constants

Authors
Journal
Theoretical Computer Science
0304-3975
Publisher
Elsevier
Publication Date
Volume
80
Issue
2
Identifiers
DOI: 10.1016/0304-3975(91)90392-f
Disciplines
  • Computer Science

Abstract

Abstract Constant propagation, the replacement of program terms which represent a unique value at run time by their values, is a classical program optimization method. In spite of being treated for years, constant propagation still has been in the unsatisfactory phase of heuristics. We enhance the known constant propagation techniques to obtain an algorithm which is optimal for programs without loops. Fundamental is the introduction of a new decidable set of constants, the finite constants. This set has two different characterizations: a denotational one, which directly specifies our iterative algorithm and an operational one, which delivers the completeness or optimality of this algorithm for programs without loops. The algorithm is implemented in a commercial compiler project.

There are no comments yet on this publication. Be the first to share your thoughts.