Constraint-Based Partial Evaluation for Imperative Languages

Constraint-based partial evaluation (CBPE) is a program optimizationtechnique based on partial evaluation (PE) and constraint solving.Conventional PE only utilizes given parameter values to specializeprograms. However, CBPE makes use of not only given values but also thefollowing information: (a) the relationship between input parameters andprogram variables; (b) logical structure of a program to be evaluated.In this paper, a formal description of CBPE method for imperativelanguages is presented, and some related problems are discussed.