386 search results - page 1 / 78 » Debugging Logic Programs Using Specifications |
AADEBUG
1993
Springer
13 years 11 months ago
1993
Springer
ICRA
2002
IEEE
14 years 10 days 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...
ENTCS
2007
13 years 7 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
13 years 9 months 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
13 years 9 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...