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

DOI10.1017/S1471068401001107MaRDI QIDQ4452637zbMATH OpenOpenAlexDBLPWikidataFDO

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

zbMATH Keywords

logic programs with delay declarations

Mathematics Subject Classification ID

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

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

Cited in

(1)

• Verification of logic programs with delay declarations

Describes a project that uses

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)