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