Partial Structural Synthesis of Programs

Article type: Research Article

Authors: Matskin, Mihhail | Komorowski, Jan

Affiliations: Department of Computer and Information Science, Norwegian University of Science and Technology, N-7033 Trondheim, Norway. {misha, janko}@idi.ntnu.no

Abstract: 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.

Keywords: Partial deduction, program synthesis

DOI: 10.3233/FI-1997-31203

Journal: Fundamenta Informaticae, vol. 31, no. 2, pp. 125-144, 1997