3 search results - page 1 / 1 » A Provably Correct Stackless Intermediate Representation for... |
APLAS
2010
ACM
13 years 7 months ago
2010
ACM
GECCO
2009
Springer
14 years 1 months ago
2009
Springer
We describe a methodology for evolving Java bytecode, enabling the evolution of extant, unrestricted Java programs, or programs in other languages that compile to Java bytecode. B...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...