default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/cpp/cpp2013.bht:"
download as .bib file
@inproceedings{DBLP:conf/cpp/0001HN13,
author = {Andrei Popescu and
Johannes H{\"{o}}lzl and
Tobias Nipkow},
editor = {Georges Gonthier and
Michael Norrish},
title = {Formalizing Probabilistic Noninterference},
booktitle = {Certified Programs and Proofs - Third International Conference, {CPP}
2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8307},
pages = {259--275},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03545-1\_17},
doi = {10.1007/978-3-319-03545-1\_17},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/0001HN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/Asperti13,
author = {Andrea Asperti},
editor = {Georges Gonthier and
Michael Norrish},
title = {A Formal Proof of Borodin-Trakhtenbrot's Gap Theorem},
booktitle = {Certified Programs and Proofs - Third International Conference, {CPP}
2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8307},
pages = {163--177},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03545-1\_11},
doi = {10.1007/978-3-319-03545-1\_11},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/Asperti13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/BelangerMP13,
author = {Olivier Savary B{\'{e}}langer and
Stefan Monnier and
Brigitte Pientka},
editor = {Georges Gonthier and
Michael Norrish},
title = {Programming Type-Safe Transformations Using Higher-Order Abstract
Syntax},
booktitle = {Certified Programs and Proofs - Third International Conference, {CPP}
2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8307},
pages = {243--258},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03545-1\_16},
doi = {10.1007/978-3-319-03545-1\_16},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/BelangerMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/Bell13,
author = {Christian J. Bell},
editor = {Georges Gonthier and
Michael Norrish},
title = {Certifiably Sound Parallelizing Transformations},
booktitle = {Certified Programs and Proofs - Third International Conference, {CPP}
2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8307},
pages = {227--242},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03545-1\_15},
doi = {10.1007/978-3-319-03545-1\_15},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/Bell13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/CohenDM13,
author = {Cyril Cohen and
Maxime D{\'{e}}n{\`{e}}s and
Anders M{\"{o}}rtberg},
editor = {Georges Gonthier and
Michael Norrish},
title = {Refinements for Free!},
booktitle = {Certified Programs and Proofs - Third International Conference, {CPP}
2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8307},
pages = {147--162},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03545-1\_10},
doi = {10.1007/978-3-319-03545-1\_10},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/CohenDM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/DoczkalKS13,
author = {Christian Doczkal and
Jan{-}Oliver Kaiser and
Gert Smolka},
editor = {Georges Gonthier and
Michael Norrish},
title = {A Constructive Theory of Regular Languages in Coq},
booktitle = {Certified Programs and Proofs - Third International Conference, {CPP}
2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8307},
pages = {82--97},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03545-1\_6},
doi = {10.1007/978-3-319-03545-1\_6},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/DoczkalKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/DoddsA13,
author = {Josiah Dodds and
Andrew W. Appel},
editor = {Georges Gonthier and
Michael Norrish},
title = {Mostly Sound Type System Improves a Foundational Program Verifier},
booktitle = {Certified Programs and Proofs - Third International Conference, {CPP}
2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8307},
pages = {17--32},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03545-1\_2},
doi = {10.1007/978-3-319-03545-1\_2},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/DoddsA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/FirsovU13,
author = {Denis Firsov and
Tarmo Uustalu},
editor = {Georges Gonthier and
Michael Norrish},
title = {Certified Parsing of Regular Languages},
booktitle = {Certified Programs and Proofs - Third International Conference, {CPP}
2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8307},
pages = {98--113},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03545-1\_7},
doi = {10.1007/978-3-319-03545-1\_7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/FirsovU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/HuangM13,
author = {Daniel Huang and
Greg Morrisett},
editor = {Georges Gonthier and
Michael Norrish},
title = {Formalizing the SAFECode Type System},
booktitle = {Certified Programs and Proofs - Third International Conference, {CPP}
2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8307},
pages = {211--226},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03545-1\_14},
doi = {10.1007/978-3-319-03545-1\_14},
timestamp = {Sun, 12 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/HuangM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/HuffmanK13,
author = {Brian Huffman and
Ondrej Kuncar},
editor = {Georges Gonthier and
Michael Norrish},
title = {Lifting and Transfer: {A} Modular Design for Quotients in Isabelle/HOL},
booktitle = {Certified Programs and Proofs - Third International Conference, {CPP}
2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8307},
pages = {131--146},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03545-1\_9},
doi = {10.1007/978-3-319-03545-1\_9},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/HuffmanK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/KhakpourSD13,
author = {Narges Khakpour and
Oliver Schwarz and
Mads Dam},
editor = {Georges Gonthier and
Michael Norrish},
title = {Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties},
booktitle = {Certified Programs and Proofs - Third International Conference, {CPP}
2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8307},
pages = {276--291},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03545-1\_18},
doi = {10.1007/978-3-319-03545-1\_18},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/KhakpourSD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/Krebbers13,
author = {Robbert Krebbers},
editor = {Georges Gonthier and
Michael Norrish},
title = {Aliasing Restrictions of {C11} Formalized in Coq},
booktitle = {Certified Programs and Proofs - Third International Conference, {CPP}
2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8307},
pages = {50--65},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03545-1\_4},
doi = {10.1007/978-3-319-03545-1\_4},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/Krebbers13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/LicataB13,
author = {Daniel R. Licata and
Guillaume Brunerie},
editor = {Georges Gonthier and
Michael Norrish},
title = {{\(\pi\)} n {(S} n {)} in Homotopy Type Theory},
booktitle = {Certified Programs and Proofs - Third International Conference, {CPP}
2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8307},
pages = {1--16},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03545-1\_1},
doi = {10.1007/978-3-319-03545-1\_1},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/LicataB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/MillerT13,
author = {Dale Miller and
Alwen Tiu},
editor = {Georges Gonthier and
Michael Norrish},
title = {Extracting Proofs from Tabled Proof Search},
booktitle = {Certified Programs and Proofs - Third International Conference, {CPP}
2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8307},
pages = {194--210},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03545-1\_13},
doi = {10.1007/978-3-319-03545-1\_13},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/MillerT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/MyreenC13,
author = {Magnus O. Myreen and
Gregorio Curello},
editor = {Georges Gonthier and
Michael Norrish},
title = {Proof Pearl: {A} Verified Bignum Implementation in x86-64 Machine
Code},
booktitle = {Certified Programs and Proofs - Third International Conference, {CPP}
2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8307},
pages = {66--81},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03545-1\_5},
doi = {10.1007/978-3-319-03545-1\_5},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/MyreenC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/SchroppP13,
author = {Andreas Schropp and
Andrei Popescu},
editor = {Georges Gonthier and
Michael Norrish},
title = {Nonfree Datatypes in Isabelle/HOL - Animating a Many-Sorted Metatheory},
booktitle = {Certified Programs and Proofs - Third International Conference, {CPP}
2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8307},
pages = {114--130},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03545-1\_8},
doi = {10.1007/978-3-319-03545-1\_8},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/SchroppP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/Sternagel13,
author = {Christian Sternagel},
editor = {Georges Gonthier and
Michael Norrish},
title = {Certified Kruskal's Tree Theorem},
booktitle = {Certified Programs and Proofs - Third International Conference, {CPP}
2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8307},
pages = {178--193},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03545-1\_12},
doi = {10.1007/978-3-319-03545-1\_12},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/Sternagel13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/Stewart13,
author = {Gordon Stewart},
editor = {Georges Gonthier and
Michael Norrish},
title = {Computational Verification of Network Programs in Coq},
booktitle = {Certified Programs and Proofs - Third International Conference, {CPP}
2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8307},
pages = {33--49},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03545-1\_3},
doi = {10.1007/978-3-319-03545-1\_3},
timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/Stewart13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/WuZU13,
author = {Chunhan Wu and
Xingyuan Zhang and
Christian Urban},
editor = {Georges Gonthier and
Michael Norrish},
title = {A Formal Model and Correctness Proof for an Access Control Policy
Framework},
booktitle = {Certified Programs and Proofs - Third International Conference, {CPP}
2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8307},
pages = {292--307},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03545-1\_19},
doi = {10.1007/978-3-319-03545-1\_19},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/WuZU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpp/2013,
editor = {Georges Gonthier and
Michael Norrish},
title = {Certified Programs and Proofs - Third International Conference, {CPP}
2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8307},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03545-1},
doi = {10.1007/978-3-319-03545-1},
isbn = {978-3-319-03544-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2025-01-20 16:47 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
