Pages that link to "Item:Q5756503"
From MaRDI portal
The following pages link to The Java Memory Model: Operationally, Denotationally, Axiomatically (Q5756503):
Displaying 6 items.
- An operational happens-before memory model (Q1712426) (← links)
- The safety-critical Java memory model formalised (Q1941888) (← links)
- Implicit propagation in structural operational semantics (Q2810689) (← links)
- (Q4413677) (← links)
- Programming Languages and Systems (Q5316580) (← links)
- Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model (Q5458814) (← links)