181 search results - page 29 / 37 » Planning Experiments in the DALI Logic Programming Language |
PLDI
2005
ACM
15 years 5 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
100
click to vote
AAAI
2000
15 years 29 days ago
2000
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...
101
Voted
SPIN
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
107
click to vote
SPE
2002
14 years 11 months ago
2002
This study presents a practical solution for data collection and restoration to migrate a process written in high level stack-based languages such as C and Fortran over a network ...
ECOOP
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Source code querying tools allow programmers to explore relations between different parts of the code base. This paper describes such a tool, named CodeQuest. It combines...