Abstract | ||
---|---|---|
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 side it has the deductive power of the intuitionistic propositional calculus. |
Year | DOI | Venue |
---|---|---|
1988 | 10.1016/S0747-7171(88)80035-X | Baltic computer science |
Keywords | Field | DocType |
computational problem,application domain,particular problem domain,conventional programming technique,deductive power,intuitionistic propositional calculus,automatic synthesis,programming system priz,program synthesis,propositional calculus | Computational problem,Programming language,Problem domain,Program synthesis,Computer science,Propositional calculus | Journal |
Volume | Issue | ISSN |
5 | 3 | Journal of Symbolic Computation |
ISBN | Citations | PageRank |
3-540-54131-4 | 12 | 10.42 |
References | Authors | |
3 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Grigori Mints | 1 | 235 | 72.76 |
E. Tyugu | 2 | 54 | 21.41 |