![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
PLPV 2013: Rome, Italy
- 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
- Edwin C. Brady:
Idris: general purpose programming with dependent types. 1-2
Verification of programming languages
- Christopher Schwaab, Jeremy G. Siek
:
Modular type-safety proofs in Agda. 3-12 - Francisco Ferreira, Stefan Monnier, Brigitte Pientka:
Compiling contextual objects: bringing higher-order abstract syntax to programmers. 13-24
Complexity and security
- Norman Danner, Jennifer Paykin, James S. Royer:
A static cost analysis for a higher-order language. 25-34 - Reynald Affeldt
, Nicolas Marti:
Towards formal verification of TLS network packet processing written in C. 35-46 - Clara Bertolissi, Worachet Uttha:
Automated analysis of rule-based access control policies. 47-56
Functional reactive programming
- Alan Jeffrey:
Causality for free!: parametricity implies causality for functional reactive programs. 57-68 - Wolfgang Jeltsch
:
Temporal logic with "Until", functional reactive programming with processes, and concrete process categories. 69-78
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.