An Abstract Domain of Uninterpreted Functions.

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

Browse the full VMCAI paper archive.