Logic program synthesis
From MaRDI portal
Publication:4305630
DOI10.1016/0743-1066(94)90029-9zbMath0942.68525OpenAlexW1983489452MaRDI QIDQ4305630
Publication date: 14 August 2000
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0743-1066(94)90029-9
Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)
Related Items (6)
Correctness and Completeness of Logic Programs ⋮ Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques ⋮ Middle-out reasoning for synthesis and induction ⋮ On Completeness of Logic Programs ⋮ Synthesis of list algorithms by mechanical proving ⋮ Induction in linear logic
This page was built for publication: Logic program synthesis
