Improving the official specification of Java bytecode verification

DOI10.1002/cpe.714zbMath1005.68582OpenAlexW2140845465MaRDI QIDQ4794727

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

Javaspecificationbytecode verification

Mathematics Subject Classification ID

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

Related Items (1)

Using abstract interpretation to add type checking for interfaces in Java bytecode verification

Cites Work

• Unnamed Item

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