Automated and Algorithmic Debugging - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540574170, 9783540481416

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Slicing concurrent programs

Automated and Algorithmic Debugging - Lecture Notes in Computer Science ◽

10.1007/bfb0019411 ◽

1993 ◽

pp. 223-240 ◽

Cited By ~ 57

Author(s):

Jingde Cheng

Keyword(s):

Concurrent Programs

Download Full-text

Debugging by diagnosing assumptions

Automated and Algorithmic Debugging - Lecture Notes in Computer Science ◽

10.1007/bfb0019400 ◽

1993 ◽

pp. 58-74 ◽

Cited By ~ 10

Author(s):

Luís Moniz Pereira ◽

Carlos Viegas Damásio ◽

José Júlio Alferes

Download Full-text

Model-based diagnosis meets error diagnosis in logic programs

Automated and Algorithmic Debugging - Lecture Notes in Computer Science ◽

10.1007/bfb0019402 ◽

1993 ◽

pp. 85-87 ◽

Cited By ~ 30

Author(s):

Luca Console ◽

Gerhard Friedrich ◽

Daniele Theseider Dupré

Keyword(s):

Logic Programs ◽

Error Diagnosis ◽

Model Based

Download Full-text

Automated and Algorithmic Debugging - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Slicing concurrent programs

Debugging by diagnosing assumptions

Model-based diagnosis meets error diagnosis in logic programs

Automated and Algorithmic Debugging - Lecture Notes in Computer Science
Latest Publications