The programming system PRIZ

G. Mints, E. Tyugu
1988 Journal of symbolic computation  
The programming system PRIZ combines conventional programming technique with automatic synthesis of programs from specifications. It enables one to build specifications from descriptions of application domains, They are automatically encoded into propositional calculus and used by the system for the program synthesis. PRIZ is not bound to any particular problem domain, but applicable for synthesis of programs solving problems of a wide class called computational problems. From the theoretical
more » ... de it has the deductive power of the intuitionistic propositional calculus.
doi:10.1016/s0747-7171(88)80035-x fatcat:6bfubwco3bcfhkndzbnu747u4y