Automatic Binding-Related Error Diagnosis in Logic Programs

DOI10.1007/978-3-540-74610-2_23zbMATH Open1213.68184OpenAlexW1973475297MaRDI QIDQ3608666FDOQ3608666

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/

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

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (3)

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

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)