Constant folding

Known as: Constant propagation

Constant folding and constant propagation are related compiler optimizations used by many modern compilers. An advanced form of constant propagation…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2006

Constraint-based program analysis provides a framework for developing analyses and arguing about their correctness and…

1999

This paper presents constant propagation and com mon factors rewriting methods for boolean formula preprocessing. Formula…

1998

Novel FPGA architectures combined with new implementation methods influence the widespread area of embedded system design…

1998

Constant propagation (CP) is a powerful, practically relevant optimization of sequential programs. However, systematic adaptions…

1996

We describe a tool for the verification of invariance properties of concurrent systems. Our tool combines model-checking and…

1991

Field Programmable Gate Arrays (FPGA) are becoming popular as an alternative to ASIC because of their good pricelperformunce…

1990

interpretation is the name given to the generic process of "executing" a program on a lattice which is much simpler than the…

1986

Mixed computation [2,4] is a rather general concept embracing quite many notions and techniques in programming that appeared and…

1983

Considerable recent attention has been given to the use of pulse modification to reduce spectral sidelobes in constant envelope…

1981

Program maintenance is simplified when the program to be modified can be viewed as an abstract algorithm to which clearly…