Verifying termination and error-freedom of logic programs with block declarations

DOI10.1017/S1471068401001107zbMATH Open1066.68516DBLPjournals/tplp/SmausHK01OpenAlexW2160298178WikidataQ60501281 ScholiaQ60501281MaRDI QIDQ4452637FDOQ4452637

Authors: Jan-Georg Smaus, Patricia M. Hill, Andy King 

Publication date: 1 March 2004

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068401001107

Recommendations

• Verification of logic programs with delay declarations
• scientific article; zbMATH DE number 868104
• Termination of logic programs with delay declarations
• Verification of logic programs
• scientific article; zbMATH DE number 773980

zbMATH Keywords

logic programs with delay declarations

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• Mercury

This page was built for publication: Verifying termination and error-freedom of logic programs with block declarations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4452637)