✦ LIBER ✦

Lightweight Bytecode Verification

✍ Scribed by Eva Rose

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verified lightweight bytecode verificati

✍ Gerwin Klein; Tobias Nipkow 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 187 KB

Java Bytecode Verification

✍ Tobias Nipkow 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 18 KB

Bytecode Verification by Model Checking

✍ David Basin; Stefan Friedrich; Marek Gawkowski 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 276 KB

Kleene Algebra and Bytecode Verification

✍ Łucja Kot; Dexter Kozen 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 270 KB

Lightweight extraction of object models

✍ Jackson, D.; Waingold, A. 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 395 KB

Java Bytecode Verification: Algorithms a

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