C memory object and value semantics: the space of de facto and ISO standards, 2016. ,
Indeterminate values and identical representations (dr260), September, 2004. ,
The C standard formalized in Coq, 2015. ,
, N1637: Subtleties of the ANSI/ISO C standard, 2012.
Into the depths of C: elaborating the de facto standards, PLDI 2016: 37th annual ACM SIGPLAN conference on Programming Language Design and Implementation, 2016. ,