Problem specification and program synthesis in the system Spora

AbstractThis paper presents SPORA, a system for program synthesis using knowledge bases. The nonprocedural style of problem specification supported by the system is illustrated. The specification language has some features of very high level languages. The emphasis is on the program synthesis devices underlying the system. In the framework of a single formalism, different algorithms of program synthesis employed in the system are compared