The programming system PRIZ

DOI10.1016/S0747-7171(88)80035-XMaRDI QIDQ1104778zbMATH OpenFDO

Authors G. E. Mints, É. Kh. Tyugu

Publication date 1988

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0747-7171(88)80035-X

zbMATH Keywords

program synthesisintuitionistic propositional calculusautomatic synthesis of programs from specificationsPRIZprogramming system

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Artificial intelligence (68T99)

Recommendations

• The programming system PRIZ
• scientific article; zbMATH DE number 3947617
• scientific article; zbMATH DE number 3960984
• Efficient program synthesis in computational models
• The PRIZ system and propositional calculus

Cites work

• scientific article; zbMATH DE number 3947617 (Why is no real title available?)
• scientific article; zbMATH DE number 3960984 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Compilation of Nonprocedural Specifications into Computer Programs
• Justification of the structural synthesis of programs
• Synthesis of a semantic processor from an attribute grammar

Cited in

(13)

• The programming system PRIZ
• Toward knowledge-based specifications of languages
• The PRIZ system and propositional calculus
• A tableau-like proof procedure for normal modal logics
• PRIZ
• scientific article; zbMATH DE number 3947617 (Why is no real title available?)
• scientific article; zbMATH DE number 4155858 (Why is no real title available?)
• Computational and attribute models of formal languages
• Type-theoretical semantics of some declarative languages
• scientific article; zbMATH DE number 3960984 (Why is no real title available?)
• Efficient program synthesis in computational models
• Planning principles for problem solving in automatic program synthesis systems
• Debugging tools for a system with automatic program synthesis

This page was built for publication: The programming system PRIZ

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1104778)