Java Bytecode Verification


This special issue is dedicated to Java bytecode verification. One of the innovative features of the Java language architecture is the definition of a typed assembly language (the Java Virtual Machine Language, JVML) together with a type checker. The purpose of the type checker is to rule out programs that violate Java safety policies, for example, illegal… (More)
DOI: 10.1023/A:1025086804452


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics