Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
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 |