3 search results - page 1 / 1 » Declarative Debugging of Missing Answers for Maude |
95
Voted
RTA
2010
Springer
15 years 1 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 ...
110
Voted
AMAST
2010
Springer
14 years 4 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
15 years 3 months ago
2007
Springer