98 search results - page 20 / 20 » Object co-location and memory reuse for Java programs |
ICSM
2009
IEEE
14 years 25 days ago
2009
IEEE
Mainstream IDEs such as Eclipse support developers in managing software projects mainly by offering static views of the source code. Such a static perspective neglects any informa...
VEE
2010
ACM
14 years 1 months ago
2010
ACM
Intense research on virtual machines has highlighted the need for flexible software architectures that allow quick evaluation of new design and implementation techniques. The inte...
ESOP
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...