Finite constants: Characterizations of a new decidable set of constants

DOI10.1016/0304-3975(91)90392-FzbMATH Open0745.68040MaRDI QIDQ1176239FDOQ1176239

Authors: Bernhard Steffen, Jens Knoop 

Publication date: 25 June 1992

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

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

zbMATH Keywords

Constant propagationfinite constantsprogram optimization method

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Cites Work

• Title not available (Why is that?)
• Monotone data flow analysis frameworks
• Title not available (Why is that?)
• Efficient symbolic analysis of programs
• The theory of languages
• Title not available (Why is that?)
• Fast Algorithms for Solving Path Problems
• Global Data Flow Analysis and Iterative Algorithms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Precise interprocedural dataflow analysis with applications to constant propagation
• 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)