Treffer: Simple Verification Technique for Complex Java Bytecode Subroutines
Title:
Simple Verification Technique for Complex Java Bytecode Subroutines
Authors:
Contributors:
The Pennsylvania State University CiteSeerX Archives
Source:
ftp://ftp.kestrel.edu/pub/papers/coglio/ftjp02.pdf
Publication Year:
2002
Collection:
CiteSeerX
Document Type:
Fachzeitschrift
text
File Description:
application/pdf
Language:
English
Rights:
Metadata may be used without restrictions as long as the oai identifier remains attached to it.
Accession Number:
edsbas.68542FCC
Database:
BASE
Weitere Informationen
Java is normally compiled to bytecode, which is verified and then executed by the Java Virtual Machine. Bytecode produced via compilation must pass verification. The main cause of complexity for bytecode verification is subroutines, used by compilers to generate more compact code. The techniques to verify subroutines proposed in the literature reject certain programs produced by mundane compilers or are otherwise di#cult to realize within an implementation of the Java Virtual Machine.