The programming system PRIZ

DOI10.1007/BFB0019353zbMATH Open1412.68044MaRDI QIDQ4560348FDOQ4560348

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

Publication date: 11 December 2018

Published in: Baltic Computer Science (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

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)

Cites Work

• Title not available (Why is that?)
• 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 (8)

• The PRIZ system and propositional calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Efficient program synthesis in computational models
• The programming system PRIZ
• Planning principles for problem solving in automatic program synthesis systems
• Debugging tools for a system with automatic program synthesis

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)