| 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 |
Notes:
|
| |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/jbyte.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT