Partial Structural Synthesis of Programs
Mihhail Matskin, Jan Komorowski · Fundamenta Informaticae · 1997
The notion of partial deduction known from logic programming is defined in the framework of Structural Synthesis of Programs (SSP). Partial deduction for computability statements in SSP is defined. Completeness and correctness of partial deduction in the framework of SSP are proven. Several tactics and stopping criteria are suggested.