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

DOI10.1017/S1471068401001107zbMath1066.68516WikidataQ60501281 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)

zbMATH Keywords

logic programs with delay declarations

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68N17: Logic programming

Uses Software

• Mercury