2 search results - page 1 / 1 » jmm 2010 |
JMM
2010
15 years 1 months ago
2010
129
click to vote
ESOP
2010
Springer
16 years 13 days ago
2010
Springer
The specification of the Java Memory Model (JMM) is phrased in terms of acceptors of execution sequences rather than the standard generative view of operational semantics. This cre...