Partial Deduction in the Framework of Structural Synthesis of Programs.

Mihhail Matskin, Henryk Jan Komorowski, John Krogstie

Browse the full LOPSTR paper archive.