Inductive Synthesis of Rewrite Rules as Program Synthesis (Extended Abstract).

Klaus P. Jantke, Ulf Goldhammer

Browse the full LOPSTR paper archive.