1629 search results - page 228 / 326 » Infeasible Code Detection |
100
click to vote
ICRA
2002
IEEE
15 years 6 months ago
2002
IEEE
In this paper, we propose a tactile sensing element that communicates through two dimensional conductive skin layers without individual wires. Each tactile element has sensors and...
104
click to vote
ICSE
1999
IEEE-ACM
15 years 5 months ago
1999
IEEE-ACM
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...
APL
1993
ACM
15 years 5 months ago
1993
ACM
Array morphology is the study of the form, structure, and evolution of arrays. An array annotation for a program written in an applicative array lanan abstract syntax tree for the...
108
Voted
ECOOP
2007
Springer
15 years 5 months ago
2007
Springer
With the advent of Java 5 annotations, we note a marked increase in the availability of tools that can statically detect potential null dereferences. For such tools to be truly eff...
127
click to vote
COOPIS
2004
IEEE
15 years 5 months ago
2004
IEEE
This paper describes TRAP/J, a software tool that enables new adaptable behavior to be added to existing Java applications transparently (that is, without modifying the application...