Efficient program synthesis in computational models

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

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)

Cited In (2)

• Composing model programs for analysis
• Efficient program synthesis: Semantics, logic, complexity

   Recommendations

• The programming system PRIZ 👍 👎
• The programming system PRIZ 👍 👎
• Title not available (Why is that?) 👍 👎
• Efficient program synthesis: Semantics, logic, complexity 👍 👎
• Planning principles for problem solving in automatic program synthesis systems 👍 👎

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)