Abstract Interpretation by Dynamic Partitioning.
Bourdoncle, François.
PRL-RR-18 March 1992 External
Back to Index