386 search results - page 1 / 78 » Debugging Logic Programs Using Specifications |
67
Voted
AADEBUG
1993
Springer
15 years 3 months ago
1993
Springer
85
Voted
ICRA
2002
IEEE
15 years 3 months ago
2002
IEEE
This paper describes a set of tools that allows a developer to instrument an autonomous control system to log data at run-time and then analyze that data to verify correct program...
100
click to vote
ENTCS
2007
14 years 11 months ago
2007
This paper is part of a comprehensive approach to debugging for functional logic languages. The basic idea of the whole project is to trace the execution of functional logic progr...
101
Voted
ICSE
2010
IEEE-ACM
15 years 26 days ago
2010
IEEE-ACM
The trend towards multicore processors and graphic processing units is increasing the need for software that can take advantage of parallelism. Writing correct parallel programs u...
86
Voted
AAAI
2008
15 years 1 months ago
2008
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...