8 search results - page 1 / 2 » aadebug 1997 |
AADEBUG
1997
Springer
13 years 9 months ago
1997
Springer
AADEBUG
1997
Springer
13 years 9 months ago
1997
Springer
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for ...
AADEBUG
1997
Springer
13 years 9 months ago
1997
Springer
I present a general framework for observing and controlling a distributed computation and its applications to distributed debugging. Algorithms for observation are useful in distr...
AADEBUG
1997
Springer
13 years 9 months ago
1997
Springer
Currently, few tools are available for assisting developers with debugging intelligent systems. Because these systems rely heavily on context dependent knowledge and sometimes sto...
AADEBUG
1997
Springer
13 years 9 months ago
1997
Springer
This paper presents a new approach to enforcing array bounds and pointer checking in the C language. Checking is rigorous in the sense that the result of pointer arithmetic must r...