Proceedings of the 7th Workshop on Programming languages meets program verification, PLPV 2013, Rome, Italy, January 22, 2013 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Matthew Might, David Van Horn, Andreas Abel 0001, Tim Sheard, editors, Proceedings of the 7th Workshop on Programming languages meets program verification, PLPV 2013, Rome, Italy, January 22, 2013. ACM, 2013. [doi]

Conference: plpv2013

Abstract is missing.

Idris: general purpose programming with dependent typesEdwin Brady. 1-2 [doi]

Modular type-safety proofs in AgdaChristopher Schwaab, Jeremy G. Siek. 3-12 [doi]

Compiling contextual objects: bringing higher-order abstract syntax to programmersFrancisco Ferreira, Stefan Monnier, Brigitte Pientka. 13-24 [doi]

A static cost analysis for a higher-order languageNorman Danner, Jennifer Paykin, James S. Royer. 25-34 [doi]

Towards formal verification of TLS network packet processing written in CReynald Affeldt, Nicolas Marti. 35-46 [doi]

Automated analysis of rule-based access control policiesClara Bertolissi, Worachet Uttha. 47-56 [doi]

Causality for free!: parametricity implies causality for functional reactive programsAlan Jeffrey. 57-68 [doi]

Temporal logic with "Until", functional reactive programming with processes, and concrete process categoriesWolfgang Jeltsch. 69-78 [doi]

runs on WebDSL