✦ LIBER ✦

Java Bytecode Verification: Algorithms and Formalizations

✍ Scribed by Xavier Leroy

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Java Bytecode Verification

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

Improving the official specification of

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

Simple verification technique for comple

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

Towards Verification of Well-Formed Tran

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

An Efficient, Parametric Fixpoint Algori

✍ Mario Méndez; Jorge Navas; Manuel V. Hermenegildo 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 361 KB

Verified lightweight bytecode verificati

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