default search action

combined dblp search
author search
venue search
publication search

ask others

CPP 2012: Kyoto, Japan

> Home > Conferences and Workshops > CPP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/cpp/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/2012
Chris Hawblitzel, Dale Miller:
Certified Programs and Proofs - Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings. Lecture Notes in Computer Science 7679, Springer 2012, ISBN 978-3-642-35307-9
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/Morrisett12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/Morrisett12
Greg Morrisett:
Scalable Formal Machine Models. 1-3
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/Leroy12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/Leroy12
Xavier Leroy:
Mechanized Semantics for Compiler Verification. 4-6
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/BartheGKLB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/BartheGKLB12
Gilles Barthe, Benjamin Grégoire, César Kunz, Yassine Lakhnech, Santiago Zanella Béguelin:
Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs. 7-8
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/Kobayashi12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/Kobayashi12
Naoki Kobayashi:
Program Certification by Higher-Order Model Checking. 9-10
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/RobertL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/RobertL12
Valentin Robert, Xavier Leroy:
A Formally-Verified Alias Analysis. 11-26
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/ZhaoZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/ZhaoZ12
Jianzhou Zhao, Steve Zdancewic:
Mechanized Verification of Computing Dominators for Formalizing Compilers. 27-42
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/MulliganC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/MulliganC12
Dominic P. Mulligan, Claudio Sacerdoti Coen:
On the Correctness of an Optimising Assembler for the Intel MCS-51 Microprocessor. 43-59
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/Campbell12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/Campbell12
Brian Campbell:
An Executable Semantics for CompCert C. 60-75
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/TollitteDD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/TollitteDD12
Pierre-Nicolas Tollitte, David Delahaye, Catherine Dubois:
Producing Certified Functional Code from Inductive Specifications. 76-91
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/Bulwahn12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/Bulwahn12
Lukas Bulwahn:
The New Quickcheck for Isabelle - Random, Exhaustive and Symbolic Testing under One Roof. 92-108
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/PopescuHN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/PopescuHN12
Andrei Popescu, Johannes Hölzl, Tobias Nipkow:
Proving Concurrent Noninterference. 109-125
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/MurrayMBGK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/MurrayMBGK12
Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Gerwin Klein:
Noninterference for Operating System Kernels. 126-142
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/VaynbergS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/VaynbergS12
Alexander Vaynberg, Zhong Shao:
Compositional Verification of a Baby Virtual Memory Manager. 143-159
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/Nakano12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/Nakano12
Keisuke Nakano:
Shall We Juggle, Coinductively? 160-172
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/Accattoli12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/Accattoli12
Beniamino Accattoli:
Proof Pearl: Abella Formalization of λ-Calculus Cube Property. 173-187
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/ChanN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/ChanN12
Hing-Lun Chan, Michael Norrish:
A String of Pearls: Proofs of Fermat's Little Theorem. 188-207
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/Chaudhuri12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/Chaudhuri12
Kaustuv Chaudhuri:
Compact Proof Certificates for Linear Logic. 208-223
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/DoczkalS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/DoczkalS12
Christian Doczkal, Gert Smolka:
Constructive Completeness for Modal Logic with Transitive Closure. 224-239
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/AspertiR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/AspertiR12
Andrea Asperti, Wilmer Ricciotti:
Rating Disambiguation Errors. 240-255
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/Neron12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/Neron12
Pierre Neron:
A Formal Proof of Square Root and Division Elimination in Embedded Programs. 256-272
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/CoquandMS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/CoquandMS12
Thierry Coquand, Anders Mörtberg, Vincent Siles:
Coherent and Strongly Discrete Rings in Type Theory. 273-288
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/BoldoLM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/BoldoLM12
Sylvie Boldo, Catherine Lelay, Guillaume Melquiond:
Improving Real Analysis in Coq: A User-Friendly Approach to Integrals and Derivatives. 289-304

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.