Expert systems for implementing group co
โฆ LIBER โฆ
A Type System for Object Initialization In the Java Bytecode Language (summary)
โ Scribed by Stephen N. Freund; John C. Mitchell
- Publisher
- Elsevier Science
- Year
- 1998
- Tongue
- English
- Weight
- 286 KB
- Volume
- 10
- Category
- Article
- ISSN
- 1571-0661
No coin nor oath required. For personal study only.
โฆ Synopsis
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 veri er that performs a numberof consistency checks before code is interpreted. As one-step towards a formal specication of the veri er, we describe a precise speci cation of a subset of the bytecode language dealing with object creation and initialization.
๐ SIMILAR VOLUMES