IDT: integrated system for debugging and testing Prolog programs

MaRDI QIDQ2770730zbMATH OpenFDO

Authors Z. Alexin, T. Gyimóthy, G. Kókai

Publication date 13 February 2002

Published in Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica (Search for Journal in Brave)

zbMATH Keywords

Interactive Diagnosis and Testing

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1235365
• Controlling the complexity in model-based diagnosis
• Debugging and testing of Prolog programs
• scientific article; zbMATH DE number 3947593
• scientific article; zbMATH DE number 4157865

Cited in

(3)

• Debugging and testing of Prolog programs
• scientific article; zbMATH DE number 1235365 (Why is no real title available?)
• scientific article; zbMATH DE number 1129158 (Why is no real title available?)

This page was built for publication: IDT: integrated system for debugging and testing Prolog programs

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