• 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 71 matches

• 2014
• 
  Martin Clochard, Claude Marché, Andrei Paskevich:
  Verified programs with binders. PLPV 2014: 29-40
• 
  Noriko Hirota, Kenichi Asai:
  Formalizing a correctness property of a type-directed partial evaluator. PLPV 2014: 41-46
• 
  Wolfgang Jeltsch:
  An abstract categorical semantics for functional reactive programming with processes. PLPV 2014: 47-58
• 
  Ranjit Jhala:
  Refinement types for Haskell. PLPV 2014: 27-28
• 
  Filipe Militão, Jonathan Aldrich, Luís Caires:
  Substructural typestates. PLPV 2014: 15-26
• 
  Lee Pike, Patrick C. Hickey, James Bielman, Trevor Elliott, Thomas DuBuisson, John Launchbury:
  Programming languages for high-assurance autonomous vehicles: extended abstract. PLPV 2014: 1-2
• 
  Aaron Stump:
  The recursive polarized dual calculus. PLPV 2014: 3-14
• 
  Nils Anders Danielsson, Bart Jacobs:
  Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, PLPV 2014, January 21, 2014, San Diego, California, USA, Co-located with POPL '14. ACM 2014, ISBN 978-1-4503-2567-7 [contents]
• 2013
• 
  Reynald Affeldt, Nicolas Marti:
  Towards formal verification of TLS network packet processing written in C. PLPV 2013: 35-46
• 
  Clara Bertolissi, Worachet Uttha:
  Automated analysis of rule-based access control policies. PLPV 2013: 47-56
• 
  Edwin C. Brady:
  Idris: general purpose programming with dependent types. PLPV 2013: 1-2
• 
  Norman Danner, Jennifer Paykin, James S. Royer:
  A static cost analysis for a higher-order language. PLPV 2013: 25-34
• 
  Francisco Ferreira, Stefan Monnier, Brigitte Pientka:
  Compiling contextual objects: bringing higher-order abstract syntax to programmers. PLPV 2013: 13-24
• 
  Alan Jeffrey:
  Causality for free!: parametricity implies causality for functional reactive programs. PLPV 2013: 57-68
• 
  Wolfgang Jeltsch:
  Temporal logic with "Until", functional reactive programming with processes, and concrete process categories. PLPV 2013: 69-78
• 
  Christopher Schwaab, Jeremy G. Siek:
  Modular type-safety proofs in Agda. PLPV 2013: 3-12
• 
  Matthew Might, David Van Horn, Andreas Abel, Tim Sheard:
  Proceedings of the 7th Workshop on Programming languages meets program verification, PLPV 2013, Rome, Italy, January 22, 2013. ACM 2013, ISBN 978-1-4503-1860-0 [contents]
• 2012
• 
  Reynald Affeldt, David Nowak, Yutaka Oiwa:
  Formal network packet processing with minimal fuss: invertible syntax descriptions at work. PLPV 2012: 27-36
• 
  Afshin Amighi, Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski:
  The VerCors project: setting up basecamp. PLPV 2012: 71-82
• 
  Manuel Gesell, Klaus Schneider:
  A hoare calculus for the verification of synchronous languages. PLPV 2012: 37-48
• 
  Alan Jeffrey:
  LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs. PLPV 2012: 49-60
• 
  Garrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, Ki Yung Ahn:
  Equational reasoning about programs with general recursion and call-by-value semantics. PLPV 2012: 15-26
• 
  Vladimir Komendantsky:
  Reflexive toolbox for regular expression matching: verification of functional programs in Coq+Ssreflect. PLPV 2012: 61-70
• 
  Peter-Michael Osera, Vilhelm Sjöberg, Steve Zdancewic:
  Dependent interoperability. PLPV 2012: 3-14
• 
  Benjamin C. Pierce:
  Verification challenges of pervasive information flow. PLPV 2012: 1-2
• 
  Koen Claessen, Nikhil Swamy:
  Proceedings of the sixth workshop on Programming Languages meets Program Verification, PLPV 2012, Philadelphia, PA, USA, January 24, 2012. ACM 2012, ISBN 978-1-4503-1125-0 [contents]
• 2011
• 
  Johannes Borgström, Juan Chen, Nikhil Swamy:
  Verifying stateful programs with substructural state and hoare types. PLPV 2011: 15-26
• 
  Edwin C. Brady:
  IDRIS ---: systems programming meets full dependent types. PLPV 2011: 43-54
• 
  Derek Bronish, Hampton Smith:
  Robust, generic, modularly-verified map: a software verification challenge problem. PLPV 2011: 27-30
• 
  Shuvendu K. Lahiri, Shaz Qadeer, David Walker:
  Linear maps. PLPV 2011: 3-14

skipping 41 more matches