- pdf -
Automatic Translation of Fortran to JVM
Bytecode
by K Seymour - Cited by 12
http://icl.cs.utk.edu/news_pub/submissions/f2jreport.pdf
-
Pdf - Automatic Translation of Fortran to JVM
Bytecode
by K Seymour - 2001 - Cited by 12
http://agenda.ictp.trieste.it/agenda_links/smr1395/lecture_11/JavaGrandeConference2001/p126-seymour.pdf
-
Pdf - Compiling Scheme to JVM bytecode: a
performance study
by BP Serpette - 2002 - Cited by 16
http://www.cin.ufpe.br/~haskell/papers/Compiling_Scheme_to_JVM_bytecode_A_Performance_Study-Serpette&Serrano.pdf
- Towards Byte
Code Genetic Programming
by B Harvey - Cited by 4
http://www.csds.uidaho.edu/deb/ByteCode.pdf
-
An Introduction to JVM bytecode verifier
24 Apr 2007 ... JVM bytecode verification. ● Use abstract execution to identify safe programs. Similar to our simple example with M3-like machine. ...
http://userweb.cs.utexas.edu/~moore/classes/cs378-jvm/bytecode-verifier.pdf
-
Java bytecode verification: algorithms and
formalizations
by X Leroy - Cited by 137
http://gallium.inria.fr/~xleroy/publi/bytecode-verification-JAR.pdf
- Runtime
Code Generation with JVM and
CLR
by P Sestoft - Cited by 15
http://www.dina.dk/~sestoft/rtcg/rtcg.pdf
- Verification
of Java Bytecode using Analysis and Transformation
of ...
by E Albert - Cited by 22
http://clip.dia.fi.upm.es/papers/jvm-pe-padl07.pdf
- A Simple
One-Pass Compiler to Generate Bytecode for the
JVM ...
generate intermediate code: our target is the. JVM abstract stack machine. – Generating Java bytecode for the JVM. – Optimize the Java bytecode (optional) ...
http://www.cs.fsu.edu/~engelen/courses/COP562107/Ch2.pdf
- BLP: Applying ILP
Techniques to Bytecode Execution
by K Scott - Cited by 7
http://www.cs.virginia.edu/papers/java_blp.pdf
- Mobile Code
Security by Java Bytecode Instrumentation
by A Chander - Cited by 55
http://www.cis.upenn.edu/~ishin/papers/discex.pdf
- PDF -
Byte Code Engineering
by M Dahm - Cited by 173
http://bcel.sourceforge.net/downloads/paper.pdf
- Simple
Verification Technique for Complex Java Bytecode
Subroutines
by A Coglio - Cited by 33
ftp://ftp.kestrel.edu/pub/papers/coglio/ftjp02.pdf
- A Certified
Lightweight Non-interference Java Bytecode
Verifier⋆
by G Barthe - Cited by 38
http://www.irisa.fr/lande/pichardie/papers/esop07.pdf
- Advanced
obfuscation techniques for Java bytecode
by JT Chan - 2004 - Cited by 18
http://users.rowan.edu/~tang/courses/ref/AdvObfuscator.pdf
- Modelling a
JVM for polymorphic bytecode
Of course, standard JVMs cannot directly execute polymorphic bytecode, as it contains type variables and type constraints. In a previous paper [11] we have ...
http://www.jot.fm/issues/issue_2007_06/article2.pdf
- Toward a
Provably-Correct Implementation of the JVM
Bytecode ...
by A Coglio - 1998 - Cited by 49
http://www.agoldberg.org/Publications/jvm-bytecode.pdf
- LNAI 3215
- Java Bytecode-to-.NET MSIL Translator for
Construction ...
Bytecode can be considered as a machine language for JVM(Java Virtual Machine). .... pared the bytecode, intermediate language for JVM, with MSIL, ...
http://www.springerlink.com/index/e35k821hjf8k1t6q.pdf
-
A Bytecode Translator for Distributed Execution of
“Legacy” Java ...
by M Tatsubori - Cited by 114
http://www.trl.ibm.com/people/mich/pub/200106_ecoop2001.pdf
-
Protection Methods of Java Bytecode
by D Rusu - Cited by 1
http://conference.iasi.roedu.net/site/conference/papers/RUSU_D-Protection_Methods_of_Java_Bytecode.pdf
- JVM
TCB: Measurements of the Trusted Computing Base of Java ...
by AW Appel - 2002 - Cited by 9
ftp://ftp.cs.princeton.edu/techreports/2002/647.pdf
- Functional
Java Bytecode
by CLVTZ SHAO - Related articles
http://contrapunctus.net/league/research/papers/lamjvm.pdf
- Bigram Analysis of
Java Bytecode Sequences
by D O’Donoghue - Cited by 9
http://www.cs.nuim.ie/~dod/pubs/02-ire.pdf
- Instrumentation
of Java Bytecode for Runtime Analysis
by A Goldberg - Cited by 29
http://www.havelund.com/Publications/jspy-final.pdf
- Java
Mobile Code Security by Bytecode Analysis
by G Bian - Cited by 4
http://www.ecti-thailand.org/assets/papers/84_pub_2.pdf
-
Instrumenting Java bytecode
by J Aarniala - Cited by 2
http://www.cs.helsinki.fi/u/pohjalai/k05/okk/seminar/Aarniala-instrumenting.pdf
-
Flexible and Efficient Measurement of Dynamic
Bytecode Metrics
by W Binder - 2006 - Cited by 8
http://www.inf.unisi.ch/faculty/binder/documents/gpce06.pdf
-
Dynamic linking of polymorphic bytecode*
by G Lagorio - Cited by 3
http://www.disi.unige.it/person/AnconaD/FTfJP06/paper06.pdf
- Annotating Java
Bytecode
by P Pominville - 2000 - Cited by 10
http://www.cs.mcgill.ca/~patrice/cs621/621.pdf
- Byte
Code Veri cation for Java Smart Cards Based on Model
Checking?
by J Posegga - Cited by 42
http://web.sec.uni-passau.de/papers/ESORICS98.pdf
- Problems of
Bytecode Verification
Die Java Virtual Machine (JVM). Server. JVM. Internet. WWW Browser. Bytecode Verification ... Java Bytecode Verification = Static Analysis + Type Inference ...
http://www.cs.bham.ac.uk/~exr/dag01/staerk.pdf
- BIT:
BYTECODE INSTRUMENTING TOOL By HAN BOK LEE B.S.,
University ...
by HANBOK LEE - 1997 - Cited by 33
http://www-plan.cs.colorado.edu/hanlee/pubs/master.pdf
-
Java Bytecode
JVM is a computer simulated in a computer. • JVMs are built into most web browsers. • java command gives .class file to JVM. • JVM interprets the bytecode ...
http://ocw.mit.edu/NR/rdonlyres/Special-Programs/SP-772Spring-2005-Summer-2005/3AFB411F-B5C0-4032-9964-BF733EEB3199/0/bytecode.pdf
- Research
on On-card Bytecode Verifier for Java Cards
by T Wang - 2009 - Related articles
http://www.academypublisher.com/jcp/vol04/no06/jcp0406502509.pdf
- Formal
JVM Code Analysis in JavaFAN
by A Farzan - Cited by 29
http://www.cs.toronto.edu/~azadeh/papers/amast04.pdf
-
Pdf - Java Bytecode Compression for Low-End
Embedded Systems
by LR Clausen - 2000 - Cited by 71
http://pagesperso-systeme.lip6.fr/Gilles.Muller/papers/toplas-bytecode.pdf
- Javassist -
Java API zum Ändern von Java Bytecode
Bytecode wird im .class-File direkt verändert. – Anschließend Neuladen des .class-Files. – JVM bleibt unverändert. – Eingriff ins Laufzeit-System nicht ...
http://m2w2.de/articles/javassist_presentation.pdf
-
Java bytecode verification: an overview Xavier
Leroy INRIA ...
by X Leroy - Cited by 100
http://sct.ethz.ch/teaching/ws2005/semspecver/papers/Java_Bytecode_Verification_An_Overview.pdf
- Pdf -
Efficient Exception Handling in Java Bytecode-to-C
Ahead-of ...
It improves the performance of a Java virtual machine. (JVM) by translating bytecode into C code, which is then compiled into machine code via an existing C ...
http://www.cecs.uci.edu/~papers/esweek06/emsoft/p188.pdf
-
Compilation I: Java Byte Code and the Java Virtual
Machine
Java programs are translated into Java Byte Code, which is interpreted by the Java Virtual Machine (JVM), which is simulated by each real machine ...
http://www.dcs.ed.ac.uk/teaching/cs1/www/CS1/Bh/Notes/JavaByteCode-slides.pdf
- Decompilation of
.NET Bytecode Computer Science Tripos Part II
...
by S Horne - 2004 - Related articles
http://www.zyloid.com/recomposer/files/diss.pdf
-
Optimizing ActionScript Bytecode using LLVM
2 Oct 2009 ... ActionScript Bytecode (ABC) reminiscent of JVM bytecode. ▪ Verified ... C code running on the Tamarin JIT is >20x faster than AS3! ...
http://llvm.org/devmtg/2009-10/Petersen_OptimizingActionScriptBytecode.pdf
-
Translating Java bytecode to X86 assembly code
by CY Chen - Related articles
http://www.cis.nctu.edu.tw/~wuuyang/papers/bytecode2X86.BRIEF.pdf
- Verified
Bytecode Subroutines
by G Klein - Cited by 19
http://www.cse.unsw.edu.au/~kleing/papers/KleinW-JAR02.pdf
-
Microsoft PowerPoint - cpsc423-JVM
29 Apr 2003 ... Java Virtual Machine. • Java Byte Codes. • JVM Runtime System ... Java interpreter executes the byte code by emulating the JVM on whatever ...
http://www.ecs.fullerton.edu/~jo/cpsc423/notes/cpsc423-00-JVM.pdf
-
Compiler construction 2010 Memory at runtime The Java Virtual
...
JVM and Java bytecode. Jasmin. Naive code generation. Memory at runtime .... In the JVM bytecode, code is stored in an array of bytes and the label is ...
http://www.cse.chalmers.se/edu/course/TDA282/lect02-2x2.pdf
- Embedding
Formal Development into a Smart Card: The Java Card
Byte ...
by L Casset - Related articles
http://www.gemplus.com/smart/rd/publications/pdf/Cas02rcs.pdf
-
Java Bytecode Specification and Verification
by L Burdy - 2006 - Cited by 25
http://www-sop.inria.fr/everest/personnel/Mariela.Pavlova/bcSpecVerify.pdf
-
Pdf - Java Bytecode Specification and
Verification
by L Burdy - 2006 - Cited by 24
https://mailserver.di.unipi.it/ricerca/proceedings/SAC06/PDFs/Papers/T36P06.pdf
-
Mixing Source and Bytecode -- A Case for
Compilation by Normalization
by LCL Kats - 2008 - Cited by 11
http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2008-030.pdf
☷☷ 1