The Evolution of Programs: A System for Automatic Program Modification.

Nachum Dershowitz, Zohar Manna

Browse the full POPL paper archive.