Synthesis of interface specifications for Java classes.

Rajeev Alur, Pavol Cern, P. Madhusudan, Wonhong Nam

Browse the full POPL paper archive.