Cited By
View all- Hammond ALiu ZPérami TSewell PBirkedal LPichon-Pharabod J(2024)An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL LogicProceedings of the ACM on Programming Languages10.1145/36328638:POPL(604-637)Online publication date: 5-Jan-2024
- Gondelman LGregersen SNieto ATimany ABirkedal L(2021)Distributed causal memory: modular specification and verification in higher-order distributed separation logicProceedings of the ACM on Programming Languages10.1145/34343235:POPL(1-29)Online publication date: 4-Jan-2021
- Moiseenko EPodkopaev AKoznov D(2021)A Survey of Programming Language Memory ModelsProgramming and Computing Software10.1134/S036176882106005047:6(439-456)Online publication date: 3-Dec-2021
- Show More Cited By