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

DOI10.1017/S1471068401001107zbMath1066.68516OpenAlexW2160298178WikidataQ60501281 ScholiaQ60501281MaRDI QIDQ4452637

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

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

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

Uses Software

• Mercury

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