Programming Solutions to the Algorithm Contraction Problem.

David Notkin, Lawrence Snyder

Browse the full ICPP paper archive.