386 search results - page 5 / 78 » Debugging Logic Programs Using Specifications |
111
click to vote
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
WSC
2001
15 years 3 months ago
2001
Emulation is a very powerful tool for testing and debugging control code/logic in an office environment rather than on the plant floor. Through the use of emulation, the actual co...
116
click to vote
WICSA
2004
15 years 3 months ago
2004
Software architecture descriptions can play a wide variety of roles in the software lifecycle, from requirements specification, to logical design, to implementation architectures....
111
click to vote
FORTE
2004
15 years 3 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
122
click to vote
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
Debugging multi-agent systems, which are concurrent, distributed, and consist of complex components, is difficult, yet crucial. In earlier work we have proposed mechanisms whereby...