1027 search results - page 38 / 206 » A Model for Java with Wildcards |
115
click to vote
COOTS
2001
15 years 13 days ago
2001
Many authors have proposed using byte code rewriting as a way of adapting or extending the behaviour of Java There are toolkits available that simplify this process and raise the ...
103
click to vote
CLEIEJ
2006
14 years 11 months ago
2006
This paper describes JADIMA (Java Distributed Machine), a collaborative platform to construct high performance distributed JAVA applications. JADIMA is a system that automatically...
FIDJI
2004
Springer
15 years 2 months ago
2004
Springer
Our paper aims at proposing a framework that allows programmers to exploit the benefits of exception handling throughout the entire development Java programs by modeling exception ...
185
click to vote
ISSTA
2004
ACM
15 years 4 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
123
click to vote
ECOOP
1997
Springer
15 years 3 months ago
1997
Springer
We propose a new model for exible composition of objects et of features. Features are similar to (abstract) subclasses, but only provide the core functionality of a (sub)class. Ove...