Logic + control: An example

DOI10.4230/LIPIcs.ICLP.2012.301zbMath1281.68078OpenAlexW2168776788MaRDI QIDQ5398068

Włodzimierz Drabent

Publication date: 25 February 2014

Full work available at URL: https://dblp.uni-trier.de/db/conf/iclp/iclp2012.html#Drabent12

zbMATH Keywords

specificationdeclarative programmingprogram correctnessprogram completenessdeclarative diagnosis

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Correctness and Completeness of Logic Programs ⋮ On Completeness of Logic Programs ⋮ Logic + control: On program construction and verification