Java Bytecode Verification

Citation: Robert Stärk and Joachim Schmid, "Java bytecode verification is not possible." In R. Moreno-Díaz and A. Quesada-Arencibia, eds., Formal Methods and Tools for Computer Science (Proceedings of Eurocast 2001), Universidad de Las Palmas de Gran Canaria, Canary Islands, Spain, February 2001, 232-234.
Summary: An example of legal Java code which is rejected by bytecode verifiers is given. Conditions to be imposed on Java which make Java code provably verifiable are stated.
Subjects: Java
Download: From Joachim Schmid's home page in PostScript and PDF