Partial Deduction in the Framework of Structural Synthesis of Programs

Mihhail Matskin, Henryk Jan Komorowski, John Krogstie. Partial Deduction in the Framework of Structural Synthesis of Programs. In John P. Gallagher, editor, Logic Programming Synthesis and Transformation, 6th International Workshop, LOPSTR 96, Stockholm, Sweden, August 28-30, 1996, Proceedings. Volume 1207 of Lecture Notes in Computer Science, pages 239-255, Springer, 1996.

Abstract

Abstract is missing.