Academic Journal
A Type System for Java Bytecode Subroutines.
| Τίτλος: | A Type System for Java Bytecode Subroutines. |
|---|---|
| Συγγραφείς: | Stata, Raymie, Abadi, Martin |
| Πηγή: | ACM Transactions on Programming Languages & Systems. Jan1999, Vol. 21 Issue 1, p90. 48p. 3 Charts. |
| Θεματικοί όροι: | Subroutines (Computer programs), Java programming language software, Programming language semantics |
| Περίληψη: | 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. |
| Βάση Δεδομένων: | Business Source Index |
καταχωρήστε σχόλιο πρώτοι!