Search dblp for Publications

export results for "toc:db/conf/cpp/cpp2012.bht:"

 download as .bib file

@inproceedings{DBLP:conf/cpp/Accattoli12,
  author       = {Beniamino Accattoli},
  editor       = {Chris Hawblitzel and
                  Dale Miller},
  title        = {Proof Pearl: Abella Formalization of {\(\lambda\)}-Calculus Cube Property},
  booktitle    = {Certified Programs and Proofs - Second International Conference, {CPP}
                  2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7679},
  pages        = {173--187},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35308-6\_15},
  doi          = {10.1007/978-3-642-35308-6\_15},
  timestamp    = {Wed, 07 Dec 2022 23:14:04 +0100},
  biburl       = {https://dblp.org/rec/conf/cpp/Accattoli12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpp/AspertiR12,
  author       = {Andrea Asperti and
                  Wilmer Ricciotti},
  editor       = {Chris Hawblitzel and
                  Dale Miller},
  title        = {Rating Disambiguation Errors},
  booktitle    = {Certified Programs and Proofs - Second International Conference, {CPP}
                  2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7679},
  pages        = {240--255},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35308-6\_19},
  doi          = {10.1007/978-3-642-35308-6\_19},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpp/AspertiR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpp/BartheGKLB12,
  author       = {Gilles Barthe and
                  Benjamin Gr{\'{e}}goire and
                  C{\'{e}}sar Kunz and
                  Yassine Lakhnech and
                  Santiago Zanella B{\'{e}}guelin},
  editor       = {Chris Hawblitzel and
                  Dale Miller},
  title        = {Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs},
  booktitle    = {Certified Programs and Proofs - Second International Conference, {CPP}
                  2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7679},
  pages        = {7--8},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35308-6\_3},
  doi          = {10.1007/978-3-642-35308-6\_3},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpp/BartheGKLB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpp/BoldoLM12,
  author       = {Sylvie Boldo and
                  Catherine Lelay and
                  Guillaume Melquiond},
  editor       = {Chris Hawblitzel and
                  Dale Miller},
  title        = {Improving Real Analysis in Coq: {A} User-Friendly Approach to Integrals
                  and Derivatives},
  booktitle    = {Certified Programs and Proofs - Second International Conference, {CPP}
                  2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7679},
  pages        = {289--304},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35308-6\_22},
  doi          = {10.1007/978-3-642-35308-6\_22},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpp/BoldoLM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpp/Bulwahn12,
  author       = {Lukas Bulwahn},
  editor       = {Chris Hawblitzel and
                  Dale Miller},
  title        = {The New Quickcheck for Isabelle - Random, Exhaustive and Symbolic
                  Testing under One Roof},
  booktitle    = {Certified Programs and Proofs - Second International Conference, {CPP}
                  2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7679},
  pages        = {92--108},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35308-6\_10},
  doi          = {10.1007/978-3-642-35308-6\_10},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpp/Bulwahn12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpp/Campbell12,
  author       = {Brian Campbell},
  editor       = {Chris Hawblitzel and
                  Dale Miller},
  title        = {An Executable Semantics for CompCert {C}},
  booktitle    = {Certified Programs and Proofs - Second International Conference, {CPP}
                  2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7679},
  pages        = {60--75},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35308-6\_8},
  doi          = {10.1007/978-3-642-35308-6\_8},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpp/Campbell12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpp/ChanN12,
  author       = {Hing{-}Lun Chan and
                  Michael Norrish},
  editor       = {Chris Hawblitzel and
                  Dale Miller},
  title        = {A String of Pearls: Proofs of Fermat's Little Theorem},
  booktitle    = {Certified Programs and Proofs - Second International Conference, {CPP}
                  2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7679},
  pages        = {188--207},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35308-6\_16},
  doi          = {10.1007/978-3-642-35308-6\_16},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpp/ChanN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpp/Chaudhuri12,
  author       = {Kaustuv Chaudhuri},
  editor       = {Chris Hawblitzel and
                  Dale Miller},
  title        = {Compact Proof Certificates for Linear Logic},
  booktitle    = {Certified Programs and Proofs - Second International Conference, {CPP}
                  2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7679},
  pages        = {208--223},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35308-6\_17},
  doi          = {10.1007/978-3-642-35308-6\_17},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpp/Chaudhuri12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpp/CoquandMS12,
  author       = {Thierry Coquand and
                  Anders M{\"{o}}rtberg and
                  Vincent Siles},
  editor       = {Chris Hawblitzel and
                  Dale Miller},
  title        = {Coherent and Strongly Discrete Rings in Type Theory},
  booktitle    = {Certified Programs and Proofs - Second International Conference, {CPP}
                  2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7679},
  pages        = {273--288},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35308-6\_21},
  doi          = {10.1007/978-3-642-35308-6\_21},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpp/CoquandMS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpp/DoczkalS12,
  author       = {Christian Doczkal and
                  Gert Smolka},
  editor       = {Chris Hawblitzel and
                  Dale Miller},
  title        = {Constructive Completeness for Modal Logic with Transitive Closure},
  booktitle    = {Certified Programs and Proofs - Second International Conference, {CPP}
                  2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7679},
  pages        = {224--239},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35308-6\_18},
  doi          = {10.1007/978-3-642-35308-6\_18},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpp/DoczkalS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpp/Kobayashi12,
  author       = {Naoki Kobayashi},
  editor       = {Chris Hawblitzel and
                  Dale Miller},
  title        = {Program Certification by Higher-Order Model Checking},
  booktitle    = {Certified Programs and Proofs - Second International Conference, {CPP}
                  2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7679},
  pages        = {9--10},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35308-6\_4},
  doi          = {10.1007/978-3-642-35308-6\_4},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpp/Kobayashi12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpp/Leroy12,
  author       = {Xavier Leroy},
  editor       = {Chris Hawblitzel and
                  Dale Miller},
  title        = {Mechanized Semantics for Compiler Verification},
  booktitle    = {Certified Programs and Proofs - Second International Conference, {CPP}
                  2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7679},
  pages        = {4--6},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35308-6\_2},
  doi          = {10.1007/978-3-642-35308-6\_2},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpp/Leroy12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpp/Morrisett12,
  author       = {Greg Morrisett},
  editor       = {Chris Hawblitzel and
                  Dale Miller},
  title        = {Scalable Formal Machine Models},
  booktitle    = {Certified Programs and Proofs - Second International Conference, {CPP}
                  2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7679},
  pages        = {1--3},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35308-6\_1},
  doi          = {10.1007/978-3-642-35308-6\_1},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpp/Morrisett12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpp/MulliganC12,
  author       = {Dominic P. Mulligan and
                  Claudio Sacerdoti Coen},
  editor       = {Chris Hawblitzel and
                  Dale Miller},
  title        = {On the Correctness of an Optimising Assembler for the Intel {MCS-51}
                  Microprocessor},
  booktitle    = {Certified Programs and Proofs - Second International Conference, {CPP}
                  2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7679},
  pages        = {43--59},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35308-6\_7},
  doi          = {10.1007/978-3-642-35308-6\_7},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpp/MulliganC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpp/MurrayMBGK12,
  author       = {Toby C. Murray and
                  Daniel Matichuk and
                  Matthew Brassil and
                  Peter Gammie and
                  Gerwin Klein},
  editor       = {Chris Hawblitzel and
                  Dale Miller},
  title        = {Noninterference for Operating System Kernels},
  booktitle    = {Certified Programs and Proofs - Second International Conference, {CPP}
                  2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7679},
  pages        = {126--142},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35308-6\_12},
  doi          = {10.1007/978-3-642-35308-6\_12},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpp/MurrayMBGK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpp/Nakano12,
  author       = {Keisuke Nakano},
  editor       = {Chris Hawblitzel and
                  Dale Miller},
  title        = {Shall We Juggle, Coinductively?},
  booktitle    = {Certified Programs and Proofs - Second International Conference, {CPP}
                  2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7679},
  pages        = {160--172},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35308-6\_14},
  doi          = {10.1007/978-3-642-35308-6\_14},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpp/Nakano12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpp/Neron12,
  author       = {Pierre Neron},
  editor       = {Chris Hawblitzel and
                  Dale Miller},
  title        = {A Formal Proof of Square Root and Division Elimination in Embedded
                  Programs},
  booktitle    = {Certified Programs and Proofs - Second International Conference, {CPP}
                  2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7679},
  pages        = {256--272},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35308-6\_20},
  doi          = {10.1007/978-3-642-35308-6\_20},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpp/Neron12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpp/PopescuHN12,
  author       = {Andrei Popescu and
                  Johannes H{\"{o}}lzl and
                  Tobias Nipkow},
  editor       = {Chris Hawblitzel and
                  Dale Miller},
  title        = {Proving Concurrent Noninterference},
  booktitle    = {Certified Programs and Proofs - Second International Conference, {CPP}
                  2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7679},
  pages        = {109--125},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35308-6\_11},
  doi          = {10.1007/978-3-642-35308-6\_11},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpp/PopescuHN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpp/RobertL12,
  author       = {Valentin Robert and
                  Xavier Leroy},
  editor       = {Chris Hawblitzel and
                  Dale Miller},
  title        = {A Formally-Verified Alias Analysis},
  booktitle    = {Certified Programs and Proofs - Second International Conference, {CPP}
                  2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7679},
  pages        = {11--26},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35308-6\_5},
  doi          = {10.1007/978-3-642-35308-6\_5},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpp/RobertL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpp/TollitteDD12,
  author       = {Pierre{-}Nicolas Tollitte and
                  David Delahaye and
                  Catherine Dubois},
  editor       = {Chris Hawblitzel and
                  Dale Miller},
  title        = {Producing Certified Functional Code from Inductive Specifications},
  booktitle    = {Certified Programs and Proofs - Second International Conference, {CPP}
                  2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7679},
  pages        = {76--91},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35308-6\_9},
  doi          = {10.1007/978-3-642-35308-6\_9},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpp/TollitteDD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpp/VaynbergS12,
  author       = {Alexander Vaynberg and
                  Zhong Shao},
  editor       = {Chris Hawblitzel and
                  Dale Miller},
  title        = {Compositional Verification of a Baby Virtual Memory Manager},
  booktitle    = {Certified Programs and Proofs - Second International Conference, {CPP}
                  2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7679},
  pages        = {143--159},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35308-6\_13},
  doi          = {10.1007/978-3-642-35308-6\_13},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpp/VaynbergS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpp/ZhaoZ12,
  author       = {Jianzhou Zhao and
                  Steve Zdancewic},
  editor       = {Chris Hawblitzel and
                  Dale Miller},
  title        = {Mechanized Verification of Computing Dominators for Formalizing Compilers},
  booktitle    = {Certified Programs and Proofs - Second International Conference, {CPP}
                  2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7679},
  pages        = {27--42},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35308-6\_6},
  doi          = {10.1007/978-3-642-35308-6\_6},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpp/ZhaoZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cpp/2012,
  editor       = {Chris Hawblitzel and
                  Dale Miller},
  title        = {Certified Programs and Proofs - Second International Conference, {CPP}
                  2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7679},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35308-6},
  doi          = {10.1007/978-3-642-35308-6},
  isbn         = {978-3-642-35307-9},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpp/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.