@techreport{keaton:hal-01230011, TITLE = {{Underspecified Aspects of Threads in C}}, AUTHOR = {Keaton, David and Gustedt, Jens}, URL = {https://inria.hal.science/hal-01230011}, TYPE = {Technical Report}, NUMBER = {RT-0470}, INSTITUTION = {{Inria}}, YEAR = {2015}, KEYWORDS = {C standard ; Threads}, PDF = {https://inria.hal.science/hal-01230011/file/RT470.pdf}, HAL_ID = {hal-01230011}, HAL_VERSION = {v1}, }