|
СТ |
A General Trace Query Mechanism Based on Prolog |
1992 |
Ducasse M. |
|
|
|
Lecture Notes in Computer Science |
13.10.1992 |
|
СТ |
A Pragmatic Survey of Automated Debugging |
1993 |
Ducasse M. |
|
|
|
Lecture Notes in Computer Science |
09.12.1993 |
|
СТ |
Abstract Views of Prolog Executions in Opium |
1991 |
Ducasse M. |
|
|
|
Logic Programming: Proc./1991 Intern. Symp. |
29.12.1994 |
|
СТ |
Opium - A High-level Debugging Environment |
1992 |
Ducasse M. |
|
|
|
Lecture Notes in Artificial Intelligence |
11.08.1992 |
|
СТ |
Opium - An Advanced Debugging System |
1992 |
Ducasse M. |
|
|
|
Lecture Notes in Artificial Intelligence |
04.10.1992 |
|
СТ |
Specifying Prolog Trace Models with a Continuation Semantics |
2001 |
Jahier E., Ducasse M., Ridoux O. |
|
|
|
Lecture Notes in Computer Science |
23.06.2001 |
