• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 20 matches

• 2013
• 
  Andrei Popescu, Johannes Hölzl, Tobias Nipkow:
  Formalizing Probabilistic Noninterference. CPP 2013: 259-275
• 
  Andrea Asperti:
  A Formal Proof of Borodin-Trakhtenbrot's Gap Theorem. CPP 2013: 163-177
• 
  Olivier Savary Bélanger, Stefan Monnier, Brigitte Pientka:
  Programming Type-Safe Transformations Using Higher-Order Abstract Syntax. CPP 2013: 243-258
• 
  Christian J. Bell:
  Certifiably Sound Parallelizing Transformations. CPP 2013: 227-242
• 
  Cyril Cohen, Maxime Dénès, Anders Mörtberg:
  Refinements for Free! CPP 2013: 147-162
• 
  Christian Doczkal, Jan-Oliver Kaiser, Gert Smolka:
  A Constructive Theory of Regular Languages in Coq. CPP 2013: 82-97
• 
  Josiah Dodds, Andrew W. Appel:
  Mostly Sound Type System Improves a Foundational Program Verifier. CPP 2013: 17-32
• 
  Denis Firsov, Tarmo Uustalu:
  Certified Parsing of Regular Languages. CPP 2013: 98-113
• 
  Daniel Huang, Greg Morrisett:
  Formalizing the SAFECode Type System. CPP 2013: 211-226
• 
  Brian Huffman, Ondrej Kuncar:
  Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL. CPP 2013: 131-146
• 
  Narges Khakpour, Oliver Schwarz, Mads Dam:
  Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties. CPP 2013: 276-291
• 
  Robbert Krebbers:
  Aliasing Restrictions of C11 Formalized in Coq. CPP 2013: 50-65
• 
  Daniel R. Licata, Guillaume Brunerie:
  π n (S n ) in Homotopy Type Theory. CPP 2013: 1-16
• 
  Dale Miller, Alwen Tiu:
  Extracting Proofs from Tabled Proof Search. CPP 2013: 194-210
• 
  Magnus O. Myreen, Gregorio Curello:
  Proof Pearl: A Verified Bignum Implementation in x86-64 Machine Code. CPP 2013: 66-81
• 
  Andreas Schropp, Andrei Popescu:
  Nonfree Datatypes in Isabelle/HOL - Animating a Many-Sorted Metatheory. CPP 2013: 114-130
• 
  Christian Sternagel:
  Certified Kruskal's Tree Theorem. CPP 2013: 178-193
• 
  Gordon Stewart:
  Computational Verification of Network Programs in Coq. CPP 2013: 33-49
• 
  Chunhan Wu, Xingyuan Zhang, Christian Urban:
  A Formal Model and Correctness Proof for an Access Control Policy Framework. CPP 2013: 292-307
• 
  Georges Gonthier, Michael Norrish:
  Certified Programs and Proofs - Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings. Lecture Notes in Computer Science 8307, Springer 2013, ISBN 978-3-319-03544-4 [contents]