A Type System for Java Bytecode Subroutines.

Bibliographic Details
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
Abstract:	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.
Database:	Business Source Index

Be the first to leave a comment!