The programming system PRIZ

DOI10.1016/S0747-7171(88)80035-XzbMath0647.68098MaRDI QIDQ1104778

É. Kh. Tyugu, Grigori Mints

Publication date: 1988

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

program synthesisintuitionistic propositional calculusautomatic synthesis of programs from specificationsPRIZprogramming system

Mathematics Subject Classification ID

Artificial intelligence (68T99) General topics in the theory of software (68N01)

Related Items (5)

A tableau-like proof procedure for normal modal logics ⋮ Type-theoretical semantics of some declarative languages ⋮ Toward knowledge-based specifications of languages ⋮ Computational and attribute models of formal languages ⋮ PRIZ

Cites Work

• Synthesis of a semantic processor from an attribute grammar
• Justification of the structural synthesis of programs
• Compilation of Nonprocedural Specifications into Computer Programs
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The programming system PRIZ