default search action

combined dblp search
author search
venue search
publication search

ask others

PLPV 2013: Rome, Italy

> 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

- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/plpv/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/2013
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

Invited talk

- view
  authority control:
- export record
  dblp key:
  - conf/plpv/Brady13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/Brady13
Edwin C. Brady:
Idris: general purpose programming with dependent types. 1-2

Verification of programming languages

- view
  authority control:
- export record
  dblp key:
  - conf/plpv/SchwaabS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/SchwaabS13
Christopher Schwaab, Jeremy G. Siek:
Modular type-safety proofs in Agda. 3-12
- view
  authority control:
- export record
  dblp key:
  - conf/plpv/FerreiraMP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/FerreiraMP13
Francisco Ferreira, Stefan Monnier, Brigitte Pientka:
Compiling contextual objects: bringing higher-order abstract syntax to programmers. 13-24

Complexity and security

- view
  authority control:
- export record
  dblp key:
  - conf/plpv/DannerPR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/DannerPR13
Norman Danner, Jennifer Paykin, James S. Royer:
A static cost analysis for a higher-order language. 25-34
- view
  authority control:
- export record
  dblp key:
  - conf/plpv/AffeldtM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/AffeldtM13
Reynald Affeldt, Nicolas Marti:
Towards formal verification of TLS network packet processing written in C. 35-46
- view
  authority control:
- export record
  dblp key:
  - conf/plpv/BertolissiU13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/BertolissiU13
Clara Bertolissi, Worachet Uttha:
Automated analysis of rule-based access control policies. 47-56

Functional reactive programming

- view
  authority control:
- export record
  dblp key:
  - conf/plpv/Jeffrey13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/Jeffrey13
Alan Jeffrey:
Causality for free!: parametricity implies causality for functional reactive programs. 57-68
- view
  authority control:
- export record
  dblp key:
  - conf/plpv/Jeltsch13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/Jeltsch13
Wolfgang Jeltsch:
Temporal logic with "Until", functional reactive programming with processes, and concrete process categories. 69-78

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.