Finite constants: Characterizations of a new decidable set of constants

<a class="pub-badge pub-badge--doi" href="https://doi.org/10.1016/0304-3975(91)90392-F" rel="nofollow">DOI 10.1016/0304-3975(91)90392-F</a><a class="pub-badge pub-badge--grey" href="https://zbmath.org/0745.68040" rel="nofollow">zbMATH</a><a class="pub-badge pub-badge--mardi" href="https://portal.mardi4nfdi.de/wiki/Item:Q1176239" rel="nofollow">MaRDI QID Q1176239</a><a class="pub-badge pub-badge--grey" href="https://fdo.portal.mardi4nfdi.de/fdo/Q1176239" rel="nofollow">FDO</a>

Authors Bernhard Steffen, Jens Knoop

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)

Recommendations

• scientific article; zbMATH DE number 17825
• Program schemes with constants
• scientific article; zbMATH DE number 1948385
• scientific article; zbMATH DE number 1692940
• Precise interprocedural dataflow analysis with applications to constant propagation

Cites work

• scientific article; zbMATH DE number 3735091 (Why is no real title available?)
• scientific article; zbMATH DE number 17825 (Why is no real title available?)
• scientific article; zbMATH DE number 17826 (Why is no real title available?)
• scientific article; zbMATH DE number 45919 (Why is no real title available?)
• scientific article; zbMATH DE number 3463168 (Why is no real title available?)
• scientific article; zbMATH DE number 3485178 (Why is no real title available?)
• scientific article; zbMATH DE number 3995030 (Why is no real title available?)
• scientific article; zbMATH DE number 3388535 (Why is no real title available?)
• Efficient symbolic analysis of programs
• Fast Algorithms for Solving Path Problems
• Global Data Flow Analysis and Iterative Algorithms
• Monotone data flow analysis frameworks
• The theory of languages

Cited in

(5)

• Precise interprocedural dataflow analysis with applications to constant propagation
• scientific article; zbMATH DE number 1692940 (Why is no real title available?)
• scientific article; zbMATH DE number 1948385 (Why is no real title available?)
• scientific article; zbMATH DE number 17825 (Why is no real title available?)
• Precise interprocedural dataflow analysis with applications to constant propagation

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1176239)