Finite constants: Characterizations of a new decidable set of constants

DOI10.1016/0304-3975(91)90392-FzbMath0745.68040MaRDI QIDQ1176239

Jens Knoop, Bernhard Steffen

Publication date: 25 June 1992

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

Constant propagationfinite constantsprogram optimization method

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Related Items (2)

Precise interprocedural dataflow analysis with applications to constant propagation ⋮ Precise interprocedural dataflow analysis with applications to constant propagation

Cites Work

• Efficient symbolic analysis of programs
• Monotone data flow analysis frameworks
• Fast Algorithms for Solving Path Problems
• Global Data Flow Analysis and Iterative Algorithms
• The theory of languages
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Finite constants: Characterizations of a new decidable set of constants