Loading...
Please wait, while we are loading the content...
Similar Documents
A type system for object initialization in the java bytecode language (summary) (1998).
| Content Provider | CiteSeerX |
|---|---|
| Author | Freund, Stephen Mitchell, John C. |
| Abstract | In the standard Java implementation, a Java language program is compiled to Java bytecode and this bytecode is then interpreted by the Java Virtual Machine. Since bytecode may be written by hand, or corrupted during network transmission, the Java Virtual Machine contains a bytecode verifier that performs a number of consistency checks before code is interpreted. As one-step towards a formal specification of the verifier, we describe a precise specification of a subset of the bytecode language dealing with object creation and initialization. 1 Introduction The Java programming language is a statically-typed general-purpose programming language with an implementation architecture that is designed to facilitate transmission of compiled code across a network. In the standard implementation, a Java language program is compiled to Java bytecode and this bytecode is then interpreted by the Java Virtual Machine. The intermediate bytecode language, which we refer to as JVML, is a typed, machin... |
| File Format | |
| Publisher Date | 1998-01-01 |
| Access Restriction | Open |
| Subject Keyword | Type System Object Initialization Java Virtual Machine Java Bytecode Language Java Bytecode Java Language Program Bytecode Verifier Network Transmission Standard Implementation One-step Towards Compiled Code Formal Specification Precise Specification Implementation Architecture Java Programming Language Object Creation Statically-typed General-purpose Programming Language Bytecode Language Standard Java Implementation Intermediate Bytecode Language Consistency Check |
| Content Type | Text |
