Building white-box abstractions by program refinement.

Mehrdad Afshari, Zhendong Su

Browse the full OOPSLA paper archive.