Logic program synthesis from first-order logic specifications
From MaRDI portal
Publication:1314418
DOI10.1016/0304-3975(94)90202-XzbMath0801.68025OpenAlexW2005372520MaRDI QIDQ1314418
Publication date: 22 February 1994
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(94)90202-x
Horn clauseslogic programmingprogram developmentunfold/fold transformationfirst- order logic specificationslogic program synthesis
Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17) General topics in the theory of software (68N01)
Cites Work