✦ LIBER ✦

Java Bytecode Verification

✍ Scribed by Tobias Nipkow

Book ID: 111547832
Publisher: Springer Netherlands
Year: 2003
Tongue: English
Weight: 18 KB
Volume: 30
Category: Article
ISSN: 0168-7433
DOI: 10.1023/a:1025086804452

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Java Bytecode Verification: Algorithms a

Java Bytecode Verification: Algorithms and Formalizations

✍ Xavier Leroy 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 224 KB

Improving the official specification of

Improving the official specification of Java bytecode verification

✍ Alessandro Coglio 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 247 KB

Simple verification technique for comple

Simple verification technique for complex Java bytecode subroutines

✍ Alessandro Coglio 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 277 KB

Optimizing Java bytecodes

✍ Cierniak, Michał; Li, Wei 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 111 KB 👁 1 views

We have developed a research compiler for Java class files. The compiler, which we call Briki, is designed to test new compilation techniques. We focus on optimizations which are only possible or much easier to perform on a high-level intermediate representation. We have designed such a representati

Towards Verification of Well-Formed Tran

Towards Verification of Well-Formed Transactions in Java Card Bytecode

✍ René Rydhof Hansen; Igor A. Siveroni 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 337 KB

Lightweight Bytecode Verification

✍ Eva Rose 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 228 KB