Efficient program synthesis in computational models

DOI10.1016/0743-1066(90)90038-7zbMath0705.68073OpenAlexW2084988153MaRDI QIDQ3485877

Max I. 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

program specificationknowledge representationcomputational modelinference rulesprogram extraction from proofsautomatic program synthesistask representation

Mathematics Subject Classification ID

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

Related Items (1)

Efficient program synthesis: Semantics, logic, complexity

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