The programming system PRIZ

DOI10.1016/S0747-7171(88)80035-XzbMATH Open0647.68098MaRDI QIDQ1104778FDOQ1104778

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

Publication date: 1988

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

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

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)

Cites Work

• Title not available (Why is that?)
• Synthesis of a semantic processor from an attribute grammar
• Justification of the structural synthesis of programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Compilation of Nonprocedural Specifications into Computer Programs

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
• Title not available (Why is that?)
• Title not available (Why is that?)
• PRIZ
• Computational and attribute models of formal languages
• Type-theoretical semantics of some declarative languages
• Title not available (Why is that?)
• 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)