Inductive Predicate Synthesis Modulo Programs.

Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wstholz, Arie Gurfinkel

Browse the full ECOOP paper archive.