ON THE BORDER BETWEEN FUNCTIONAL PROGRAMMING AND PROGRAM SYNTHESIS
Enn Tõugu · Proceedings of the Estonian Academy of Sciences Engineering · 1998
The importance of compositionality in program construction is being accepted quite well.In this respect, relational programming has clear advantages over functional programming.Unfortunately, there is no general technique of relational programming efficient enough to compete with the existing functional programming techniques.Here we discuss structural synthesis of programsa method of synthesis of functional programs explainable in terms of higher-order functional constraint nets, simple types or intuitionistic logic.This method has been used in the implementation of declarative languages that allow us to specify concepts as relations and use them in specifications more flexibly than functions.