The programming system PRIZ
From MaRDI portal
Publication:4560348
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
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
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
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)