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 |