Improving the official specification of Java bytecode verification

DOI10.1002/CPE.714MaRDI QIDQ4794727zbMATH OpenOpenAlexFDO

Authors Alessandro Coglio

Publication date 20 February 2003

Published in Concurrency and Computation: Practice and Experience (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/cpe.714

zbMATH Keywords

bytecode verificationJavaspecification

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1798185
• Java bytecode verification: Algorithms and formalizations
• scientific article; zbMATH DE number 1231622
• A type system for the Java bytecode language and verifier
• scientific article; zbMATH DE number 1796120

Cited in

(6)

• Formal specification and verification of JDK's identity hash map implementation
• scientific article; zbMATH DE number 1962748 (Why is no real title available?)
• scientific article; zbMATH DE number 2087575 (Why is no real title available?)
• A certified lightweight non-interference Java bytecode verifier
• Theorem Proving in Higher Order Logics
• Using abstract interpretation to add type checking for interfaces in Java bytecode verification

This page was built for publication: Improving the official specification of Java bytecode verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4794727)