1210 search results - page 10 / 242 » Formal Techniques for Java Programs |
107
click to vote
ICSM
1996
IEEE
15 years 6 months ago
1996
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
109
click to vote
POS
1998
Springer
15 years 6 months ago
1998
Springer
Several techniques have been proposed for adding persistence to the Java language environment. This paper describes a system we call icee that works by checkpointing the Java Virt...
120
Voted
CARDIS
2006
Springer
15 years 5 months ago
2006
Springer
Ahead-of-Time and Just-in-Time compilation are common ways to improve runtime performances of restrained systems like Java Card by turning critical Java methods into native code. H...
122
click to vote
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
Wildcards are a complex and subtle part of the Java type system, present since version 5.0. Although there have been various formalisations and partial type soundness results conce...
108
click to vote
FMCAD
2008
Springer
15 years 3 months ago
2008
Springer
We present a general approach for verifying safety properties of Lustre programs automatically. Key aspects of the approach are the choice of an expressive first-order logic in wh...