A Program Development Tool.

Cyril N. Alberga, Allen L. Brown, George B. Leeman Jr., Martin Mikelsons, Mark N. Wegman

Browse the full POPL paper archive.