Modeling of Problem Domains for Driving Program Development Systems.

Jay Ramanathan, Charley J. Shubra

Browse the full POPL paper archive.