211 search results - page 10 / 43 » Verification of Java Programs with Generics |
138
click to vote
DSN
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper, we present a new fault injection tool called GOOFI (Generic Object-Oriented Fault Injection). GOOFI is designed to be adaptable to various target systems and differ...
123
click to vote
SAC
2004
ACM
15 years 7 months ago
2004
ACM
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...
107
click to vote
FOAL
2009
ACM
15 years 6 months ago
2009
ACM
In this paper we specify an operational run-time semantics of Assignment Featherweight Java -- a minimal subset of Java with assignments -- with around advice, using graph transfo...
117
Voted
CADE
2007
Springer
16 years 2 months ago
2007
Springer
In this paper we propose a method for inferring invariants for loops in Java programs. An example of a simple while loop is used throughout the paper to explain our approach. The m...
111
click to vote
MEMOCODE
2010
IEEE
15 years 15 hour ago
2010
IEEE
We present a modular approach for verification of synchronization behavior in concurrent programs that use reentrant locks. Our approach decouples the verification of the lock impl...