default search action

combined dblp search
author search
venue search
publication search

ask others

PLPV 2012: Philadelphia, Pennsylvania, USA

> Home > Conferences and Workshops > PLPV

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/plpv/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/2012
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

Technical presentations

- view
  authority control:
- export record
  dblp key:
  - conf/plpv/Pierce12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/Pierce12
Benjamin C. Pierce:
Verification challenges of pervasive information flow. 1-2
- view
  authority control:
- export record
  dblp key:
  - conf/plpv/OseraSZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/OseraSZ12
Peter-Michael Osera, Vilhelm Sjöberg, Steve Zdancewic:
Dependent interoperability. 3-14
- view
  authority control:
- export record
  dblp key:
  - conf/plpv/KimmellSEEFSWCSCA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/KimmellSEEFSWCSCA12
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. 15-26
- view
  authority control:
- export record
  dblp key:
  - conf/plpv/AffeldtNO12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/AffeldtNO12
Reynald Affeldt, David Nowak, Yutaka Oiwa:
Formal network packet processing with minimal fuss: invertible syntax descriptions at work. 27-36
- view
  authority control:
- export record
  dblp key:
  - conf/plpv/GesellS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/GesellS12
Manuel Gesell, Klaus Schneider:
A hoare calculus for the verification of synchronous languages. 37-48
- view
  authority control:
- export record
  dblp key:
  - conf/plpv/Jeffrey12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/Jeffrey12
Alan Jeffrey:
LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs. 49-60
- view
  authority control:
- export record
  dblp key:
  - conf/plpv/Komendantsky12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/Komendantsky12
Vladimir Komendantsky:
Reflexive toolbox for regular expression matching: verification of functional programs in Coq+Ssreflect. 61-70
- view
  authority control:
- export record
  dblp key:
  - conf/plpv/AmighiBHZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/AmighiBHZ12
Afshin Amighi, Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski:
The VerCors project: setting up basecamp. 71-82

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.