Efficient program synthesis in computational models

DOI10.1016/0743-1066(90)90038-7MaRDI QIDQ3485877zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(5)

• Efficient program synthesis: semantics, logic, complexity
• scientific article; zbMATH DE number 4035102 (Why is no real title available?)
• The programming system PRIZ
• Composing model programs for analysis
• 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)