Modular Relaxed Dependencies in Weak Memory Concurrency (Q5041113)
From MaRDI portal
scientific article; zbMATH DE number 7600944
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modular Relaxed Dependencies in Weak Memory Concurrency |
scientific article; zbMATH DE number 7600944 |
Statements
Modular Relaxed Dependencies in Weak Memory Concurrency (English)
0 references
13 October 2022
0 references
thin-air problem
0 references
weak memory concurrency
0 references
compiler optimisations
0 references
denotational semantics
0 references
compositionality
0 references
0 references
