Search Sciweavers | Sciweavers

211 search results - page 3 / 43

» Verification of Java Programs with Generics

click to vote

CSREAESA
2004

131views Embedded Systems» more CSREAESA 2004»

Identifying and Evaluating a Generic Set of Superinstructions for Embedded Java Programs

13 years 8 months ago

Download www.cs.may.ie

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...

Diarmuid O'Donoghue, James F. Power

claim paper

Read More »

click to vote

FAC
2010

106views more FAC 2010»

Automatic verification of Java programs with dynamic frames

13 years 4 months ago

Download lirias.kuleuven.be

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...

Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Sc...

claim paper

Read More »

click to vote

PEPM
2010
ACM

135views Software Engineering» more PEPM 2010»

Corrective hints for type incorrect generic Java programs

14 years 4 months ago