11 search results - page 1 / 3 » Declarative Debugging of Membership Equational Logic Specifi... |
49
Voted
BIRTHDAY
2008
Springer
14 years 12 months ago
2008
Springer
102
click to vote
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 ...
SCAM
2002
IEEE
15 years 2 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
14 years 9 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
14 years 12 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...