211 search results - page 3 / 43 » Verification of Java Programs with Generics |
105
Voted
CSREAESA
2004
15 years 3 months ago
2004
In this paper we present an approach to the optimisation of interpreted Java programs using superinstructions. Unlike existing techniques, we examine the feasibility of identifying...
133
click to vote
FAC
2010
14 years 11 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
PEPM
2010
ACM
15 years 10 months ago
2010
ACM
78
Voted
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
LDTA
2010
15 years 2 months ago
2010
