| Contents (2007) | |||||||||||||||
Abstract | |||||||||||||||
| Software mechanics for Java multi-threading Figure 1: Java For a subset JavaTck(Java Thread Composition Kernel) of Java anempirical semantics has been developed. 1 Special emphasis is put on the role of synchronization features. The validity of empirical semantics is discussed in the light ofanumber of compiler postulates. A translation of process algebra with conditions and free merge to Java is used as an example. | |||||||||||||||
Details der Publikation | |||||||||||||||
| |||||||||||||||