An Axiomatic Basis for Computer Programming on Relaxed Hardware Architectures: The AxSL Logics
| Title: | An Axiomatic Basis for Computer Programming on Relaxed Hardware Architectures: The AxSL Logics |
|---|---|
| Authors: | Liu, Zongyuan; Hammond, Angus; Pérami, Thibaut; Sewell, Peter; Birkedal, Lars; Pichon-Pharabod, Jean |
| Source: | ACM Transactions on Programming Languages and Systems. 48(1):1-66 |
| Availability: | http://dl.acm.org/doi/10.1145/3786762 |
| Database: | ACM Full-Text Collection |