The Synthesis of Structure Changing Programs.

Zohar Manna, Richard J. Waldinger

Browse the full ICSE paper archive.