The programming system PRIZ

DOI10.1007/BFB0019353MaRDI QIDQ4560348zbMATH OpenFDO

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

Publication date 11 December 2018

Published in Baltic Computer Science (Search for Journal in Brave)

zbMATH Keywords

minimax problemstructural synthesisprogram synthesisabstract objectpropositional variable

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

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

Cited in

(8)

• scientific article; zbMATH DE number 3947617 (Why is no real title available?)
• scientific article; zbMATH DE number 3960984 (Why is no real title available?)
• Efficient program synthesis in computational models
• scientific article; zbMATH DE number 4155858 (Why is no real title available?)
• Planning principles for problem solving in automatic program synthesis systems
• Debugging tools for a system with automatic program synthesis
• The programming system PRIZ
• The PRIZ system and propositional calculus

Describes a project that uses

Uses Software

• PRIZ

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 Q4560348)