DMCA
Initialization Problems for Java (1999)
Cached
Download Links
- [ftp.di.unipi.it]
- [bigfoot.eecs.umich.edu]
- DBLP
Other Repositories/Bibliography
| Citations: | 13 - 1 self |
BibTeX
@MISC{Börger99initializationproblems,
author = {Egon Börger and Wolfram Schulte},
title = {Initialization Problems for Java},
year = {1999}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
. We exhibit a grey area in the specification of Java and of its implementation through the Java Virtual Machine (JVM): the treatment of initialization of classes and interfaces. We report the result of our experiments with different implementations of Java, which confirm the theoretical prediction of our work on mathematical models for Java [4] and the JVM [3], namely that the designers of Java and the JVM have used notions of initialization which do not match and which afflict the portability of Java programs. We show also that concurrent initialization may deadlock and that various current Java compilers violate the initialization semantics through standard optimization techniques. Key words: Programming language -- Java -- Virtual machine -- Compiler 1 The Initialization Problem Any programming language that supports libraries of autonomous components has to determine when to initialize a library component. Examples of components are modules, packages or classes. In traditional bl...
Keyphrases
initialization problem autonomous component different implementation concurrent initialization library component various current java compiler grey area theoretical prediction key word traditional bl mathematical model initialization semantics java program language java virtual machine compiler java virtual machine standard optimization technique initialization problem programming language
