11 search results - page 1 / 3 » Declarative Debugging of Membership Equational Logic Specifi... |
BIRTHDAY
2008
Springer
13 years 7 months ago
2008
Springer
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 ...
SCAM
2002
IEEE
13 years 10 months ago
2002
IEEE
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...
JNSM
2008
13 years 4 months ago
2008
There is a large conceptual gap between end-to-end infrastructure requirements and detailed component configuration implementing those requirements. Today, this gap is manually br...
AMAST
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. Declarative debugging has been applied to many declarative programming paradigms; in this paper, a declarative debugger for rewriting logic specifications, embodied in th...