Search dblp for Publications

export results for "Coq: The world's best macro assembler?"

 download as .bib file

@inproceedings{DBLP:conf/ppdp/KennedyBJD13,
  author    = {Andrew Kennedy and
               Nick Benton and
               Jonas Braband Jensen and
               Pierre{-}{\'{E}}variste Dagand},
  editor    = {Ricardo Pe{\~{n}}a and
               Tom Schrijvers},
  title     = {Coq: the world's best macro assembler?},
  booktitle = {15th International Symposium on Principles and Practice of Declarative
               Programming, {PPDP} '13, Madrid, Spain, September 16-18, 2013},
  pages     = {13--24},
  publisher = {{ACM}},
  year      = {2013},
  url       = {https://doi.org/10.1145/2505879.2505897},
  doi       = {10.1145/2505879.2505897},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ppdp/KennedyBJD13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics