%0 Conference Paper %1 conf/pldi/MemarianMLNCWS16 %A Memarian, Kayvan %A Matthiesen, Justus %A Lingard, James %A Nienhuis, Kyndylan %A Chisnall, David %A Watson, Robert N. M. %A Sewell, Peter %B PLDI %D 2016 %E Krintz, Chandra %E Berger, Emery D. %I ACM %K dblp %P 1-15 %T Into the depths of C: elaborating the de facto standards. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2016.html#MemarianMLNCWS16 %@ 978-1-4503-4261-2

@inproceedings{conf/pldi/MemarianMLNCWS16, added-at = {2021-06-23T00:00:00.000+0200}, author = {Memarian, Kayvan and Matthiesen, Justus and Lingard, James and Nienhuis, Kyndylan and Chisnall, David and Watson, Robert N. M. and Sewell, Peter}, biburl = {https://www.bibsonomy.org/bibtex/27c4e0a53c45c5baed362fef187b7d1dc/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2016}, editor = {Krintz, Chandra and Berger, Emery D.}, ee = {https://doi.org/10.1145/2980983.2908081}, interhash = {a2b0f39c57877f0891fffb8390b3ea4a}, intrahash = {7c4e0a53c45c5baed362fef187b7d1dc}, isbn = {978-1-4503-4261-2}, keywords = {dblp}, pages = {1-15}, publisher = {ACM}, timestamp = {2024-04-09T19:00:33.000+0200}, title = {Into the depths of C: elaborating the de facto standards.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2016.html#MemarianMLNCWS16}, year = 2016 }