Abstract Interpretation over Non-lattice Abstract Domains.

Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey

Browse the full SAS paper archive.