A Binary Decision Tree Abstract Domain Functor.

Junjie Chen, Patrick Cousot

Browse the full SAS paper archive.