3 search results - page 1 / 1 » Declarative Debugging of Missing Answers for Maude |
RTA
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Declarative debugging is a semi-automatic technique that starts from an incorrect computation and locates a program fragment responsible for the error by building a tree ...
AMAST
2010
Springer
12 years 11 months ago
2010
Springer
Abstract. We present a declarative debugger for Maude specifications that allows to debug wrong answers (a wrong result is obtained) and missing answers (a correct but incomplete r...
ICLP
2007
Springer
13 years 10 months ago
2007
Springer