Results 231 to 238 of about 14,055 (238)

Java bytecode verification via static single assignment form

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

Java bytecode compression for low-end embedded systems

ACM Transactions on Programming Languages and Systems, 2000
Ulrik Pagh Schultz, William Pugh
exaly  

Standard fixpoint iteration for Java bytecode verification

ACM Transactions on Programming Languages and Systems, 2000
exaly  

Using CLP Simplifications to Improve Java Bytecode Termination Analysis

Electronic Notes in Theoretical Computer Science, 2009
Fausto Spoto, Lunjin Lu
exaly  

Advanced obfuscation techniques for Java bytecode

Journal of Systems and Software, 2004
exaly  

Simple verification technique for complex Java bytecode subroutines

Concurrency Computation Practice and Experience, 2004
exaly  

PicoJava: a direct execution engine for Java bytecode

Computer, 1998
exaly  

Improving the official specification of Java bytecode verification

Concurrency Computation Practice and Experience, 2003
exaly