Automatic Binding-Related Error Diagnosis in Logic Programs

DOI10.1007/978-3-540-74610-2_23MaRDI QIDQ3608666zbMATH OpenOpenAlexFDO

Authors Paweł Pietrzak, Manuel Hermenegildo

Publication date 5 March 2009

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL http://oa.upm.es/14318/

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Declarative error diagnosis
• Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
• Toward general diagnosis of static errors
• Logical debugging
• scientific article; zbMATH DE number 3947593

Cited in

(3)

• Kima: An automated error correction system for concurrent logic programs
• Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
• Declarative error diagnosis

This page was built for publication: Automatic Binding-Related Error Diagnosis in Logic Programs

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