Sciweavers

175 search results - page 1 / 35
» java 1999
Sort
View
JAVA
1999
Springer
13 years 8 months ago
Formal Grammar for Java
Jim Alves-Foss, Deborah A. Frincke
JAVA
1999
Springer
13 years 8 months ago
An Event-Based Structural Operational Semantics of Multi-Threaded Java
Pietro Cenciarelli, Alexander Knapp, Bernhard Reus...
JAVA
1999
Springer
13 years 8 months ago
The Operational Semantics of a Java Secure Processor
Pieter H. Hartel, Michael J. Butler, Moshe Levy
JAVA
1999
Springer
13 years 8 months ago
Fixing the Java Memory Model
The Java memory model described in Chapter 17 of the Java Language Specification gives constraints on how threads interact through memory. The Java memory model is hard to interp...
William Pugh