A Program Logic for C11 Memory Fences

Doko, Marko and Vafeiadis, Viktor
(2016) A Program Logic for C11 Memory Fences.
In: Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings.

Full text not available from this repository.
Official URL: https://doi.org/10.1007/978-3-662-49122-5_20

Actions

Actions (login required)

View Item View Item