## Constraint solving is an alternative to using dataflow analysis framework

## Approach: derive from the code and constant pool a set of constraints in a restricted, solvable logic. Using a constraint solver to find a minimal solution to the constraint problem.

## Strongly related to the Planware approach

- Constraints and their relationships are analyzed at design time to generate an efficient algorithm

## Also related to work by Aiken, and others on Set -Based Analysis

Previous slide | Next slide | Back to first slide | View graphic version |