The programming system PRIZ. 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.
Keywords for this software
References in zbMATH (referenced in 8 articles , 1 standard article )
Showing results 1 to 8 of 8.
- Alonderis, R.: Proof-theoretical investigation of temporal logic with time gaps (2000)
- Tammet, Tanel: A resolution theorem prover for intuitionistic logic (1996)
- Ognjanović, Zoran: A tableau-like proof procedure for normal modal logics (1994)
- Meriste, Merik; Penjam, Jaan: Toward knowledge-based specifications of languages (1991)
- Mints, Grigory; Smith, Jan M.; Tyugu, Enn: Type-theoretical semantics of some declarative languages (1991)
- Mints, G.; Tyugu, E.: The programming system PRIZ (1991)
- Penjam, Jaan: Computational and attribute models of formal languages (1990)
- Mints, G.; Tyugu, E.: The programming system PRIZ (1988)