Treffer: A Type System for Java Bytecode Subroutines.

Title:
A Type System for Java Bytecode Subroutines.
Authors:
Stata, Raymie, Abadi, Martin
Source:
ACM Transactions on Programming Languages & Systems. Jan1999, Vol. 21 Issue 1, p90. 48p. 3 Charts.
Subject Terms:
SUBROUTINES (Computer programs), JAVA programming language software, PROGRAMMING language semantics
Database:
Business Source Premier

Weitere Informationen

Presents information on a study which proposed the use of typing rules to describe the subroutines in bytecode verifier of the Java Virtual Machine Language (JVML). Analysis of JVML subroutines and type system; Challenges pose by the subroutines to the design of a type system for JVML; Semantics and syntaxes of JVML.