The programming system PRIZ

DOI10.1007/BFb0019353zbMath1412.68044MaRDI QIDQ4560348

É. Kh. Tyugu, Grigori Mints

Publication date: 11 December 2018

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

zbMATH Keywords

minimax problem; structural synthesis; program synthesis; abstract object; propositional variable

Mathematics Subject Classification ID

03B70: Logic in computer science

68Q55: Semantics in the theory of computing

68Q60: Specification and verification (program logics, model checking, etc.)

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Uses Software

• PRIZ

Cites Work

• Justification of the structural synthesis of programs
• Compilation of Nonprocedural Specifications into Computer Programs
• Unnamed Item
• Unnamed Item
• Unnamed Item