Efficient program synthesis in computational models

DOI10.1016/0743-1066(90)90038-7zbMATH Open0705.68073OpenAlexW2084988153MaRDI QIDQ3485877FDOQ3485877

Authors: Max Kanovich 

Publication date: 1990

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-1066(90)90038-7

Recommendations

• The programming system PRIZ
• The programming system PRIZ
• scientific article; zbMATH DE number 4203709
• Efficient program synthesis: semantics, logic, complexity
• Planning principles for problem solving in automatic program synthesis systems

zbMATH Keywords

knowledge representationprogram specificationcomputational modelinference rulesprogram extraction from proofsautomatic program synthesistask representation

Mathematics Subject Classification ID

Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60) Parallel algorithms in computer science (68W10)

Cited In (5)

• The programming system PRIZ
• Title not available (Why is that?)
• Composing model programs for analysis
• Efficient program synthesis: semantics, logic, complexity
• The programming system PRIZ

This page was built for publication: Efficient program synthesis in computational models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3485877)