3872 search results - page 1 / 775 » The Java memory model |
JAVA
1999
Springer
13 years 10 months ago
1999
Springer
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...
CONCURRENCY
2000
13 years 5 months ago
2000
The Java memory model described in Chapter 17 of the Java Language Specification gives constraints on how threads interact through memory. This chapter is hard to interpret and po...
ECOOP
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. We analyse the validity of several common program transformations in multi-threaded Java, as defined by the Java Memory Model (JMM) section of Chapter 17 of the Java Lang...
POPL
2005
ACM
14 years 6 months ago
2005
ACM
FIDJI
2004
Springer
13 years 11 months ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...