Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques.

Olivier Ponsini, Claude Michel, Michel Rueher

Browse the full CP paper archive.