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

automatic program synthesiscomputational modelinference rulesknowledge representationprogram extraction from proofsprogram specificationtask representation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Knowledge representation (68T30) 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

(6)

• The programming system PRIZ
• scientific article; zbMATH DE number 4203709 (Why is no real title available?)
• scientific article; zbMATH DE number 4035102 (Why is no real title available?)
• The programming system PRIZ
• Efficient program synthesis: semantics, logic, complexity
• Composing model programs for analysis

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)