386 search results - page 1 / 78 » Debugging Logic Programs Using Specifications |
66
Voted
AADEBUG
1993
Springer
15 years 2 months ago
1993
Springer
83
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...
98
Voted
ENTCS
2007
14 years 10 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...
ICSE
2010
IEEE-ACM
15 years 4 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...
AAAI
2008
15 years 15 days 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...