Pages that link to "Item:Q2281648"
From MaRDI portal
The following pages link to Explaining relaxed memory models with program transformations (Q2281648):
Displaying 6 items.
- Automatic Memory Management Based on Program Transformation Using Ownership (Q2789036) (← links)
- CCA-Secure Keyed-Fully Homomorphic Encryption (Q2798772) (← links)
- Common compiler optimisations are invalid in the C11 memory model and what we can do about it (Q2819807) (← links)
- (Q3130550) (← links)
- Parallelized sequential composition and hardware weak memory models (Q6045051) (← links)
- Overcoming memory weakness with unified fairness. Systematic verification of liveness in weak memory models (Q6535632) (← links)