A formalization of the C99 standard in HOL, isabelle and Coq. Krebbers, R. & Wiedijk, F. In Davenport, J., Farmer, W., & Rabe, F., editors, Intelligent Computer Mathematics, Calculemus 2011 and MKM 2011, volume 6824, of Lecture Notes in Artificial Intelligence, pages 301–303, 2011. Springer.
![A formalization of the C99 standard in HOL, isabelle and Coq [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf bibtex
Pdf bibtex @inproceedings{freek2011b,
Author = {R. Krebbers and Freek Wiedijk},
Booktitle = {Intelligent Computer Mathematics, Calculemus 2011 and MKM 2011},
Date-Added = {2014-11-16 23:07:02 +0000},
Date-Modified = {2014-11-16 23:08:59 +0000},
Editor = {J.H. Davenport and W.M. Farmer and F. Rabe},
Pages = {301--303},
Publisher = {Springer},
Series = {Lecture Notes in Artificial Intelligence},
Title = {A formalization of the C99 standard in HOL, isabelle and Coq},
Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/cicm2011.pdf},
Volume = {6824},
Year = {2011}}Downloads: 0
{"_id":"i3s88jMFYFaRSxQ4K","bibbaseid":"krebbers-wiedijk-aformalizationofthec99standardinholisabelleandcoq-2011","author_short":["Krebbers, R.","Wiedijk, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["R."],"propositions":[],"lastnames":["Krebbers"],"suffixes":[]},{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"booktitle":"Intelligent Computer Mathematics, Calculemus 2011 and MKM 2011","date-added":"2014-11-16 23:07:02 +0000","date-modified":"2014-11-16 23:08:59 +0000","editor":[{"firstnames":["J.H."],"propositions":[],"lastnames":["Davenport"],"suffixes":[]},{"firstnames":["W.M."],"propositions":[],"lastnames":["Farmer"],"suffixes":[]},{"firstnames":["F."],"propositions":[],"lastnames":["Rabe"],"suffixes":[]}],"pages":"301–303","publisher":"Springer","series":"Lecture Notes in Artificial Intelligence","title":"A formalization of the C99 standard in HOL, isabelle and Coq","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/cicm2011.pdf","volume":"6824","year":"2011","bibtex":"@inproceedings{freek2011b,\n\tAuthor = {R. Krebbers and Freek Wiedijk},\n\tBooktitle = {Intelligent Computer Mathematics, Calculemus 2011 and MKM 2011},\n\tDate-Added = {2014-11-16 23:07:02 +0000},\n\tDate-Modified = {2014-11-16 23:08:59 +0000},\n\tEditor = {J.H. Davenport and W.M. Farmer and F. Rabe},\n\tPages = {301--303},\n\tPublisher = {Springer},\n\tSeries = {Lecture Notes in Artificial Intelligence},\n\tTitle = {A formalization of the C99 standard in HOL, isabelle and Coq},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/cicm2011.pdf},\n\tVolume = {6824},\n\tYear = {2011}}\n\n","author_short":["Krebbers, R.","Wiedijk, F."],"editor_short":["Davenport, J.","Farmer, W.","Rabe, F."],"key":"freek2011b","id":"freek2011b","bibbaseid":"krebbers-wiedijk-aformalizationofthec99standardinholisabelleandcoq-2011","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/cicm2011.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["formalization","c99","standard","hol","isabelle","coq","krebbers","wiedijk"],"title":"A formalization of the C99 standard in HOL, isabelle and Coq","year":2011}