Results 241 to 250 of about 18,338 (256)

A type system for object initialization in the Java bytecode language

ACM Transactions on Programming Languages and Systems, 1999
John C Mitchell
exaly  

Bytecode verification on Java smart cards

Software - Practice and Experience, 2002
Xavier LeRoy
exaly  

From bytecode to JavaScript: the Js_of_ocaml compiler

Software - Practice and Experience, 2014
Jérôme Vouillon
exaly  

Bytecode Optimization

2002
Today, when Java is entering the embedded market it needs performance en-hancements more than ever. Large-scale enter-prise applications would also benefit from better code optimization techniques. In this paper we present the results of opti-mization with an optimizing framework we have developed.
openaire  

Cost analysis of object-oriented bytecode programs

Theoretical Computer Science, 2012
Elvira Albert, Puri Arenas, Samir Genaim   +2 more
exaly  

A type system for Java bytecode subroutines

ACM Transactions on Programming Languages and Systems, 1999
Martin Abadi
exaly  

Java bytecode verification via static single assignment form

ACM Transactions on Programming Languages and Systems, 2008
Andreas Gal, Christian W Probst
exaly  

Checking secure information flow in Java bytecode by code transformation and standard bytecode verification

Software - Practice and Experience, 2004
Cinzia Bernardeschi, Giuseppe Lettieri
exaly  

Verified bytecode verification and type-certifying compilation

The Journal of Logic and Algebraic Programming, 2004
Gerwin Klein, Martin Strecker
exaly  

Java bytecode verification for secure information flow

ACM SIGPLAN Notices, 2003
Marco Avvenuti, Cinzia Bernardeschi
exaly