PLPV 2007: Freiburg, Germany

Aaron Stump, Hongwei Xi (Eds.): Proceedings of the ACM Workshop Programming Languages meets Program Verification, PLPV 2007, Freiburg, Germany, October 5, 2007. ACM 2007, ISBN 978-1-59593-677-6 BibTeX

Claude Marché:
Jessie: an intermediate language for Java and C verification. 1-2
Electronic Edition (ACM DL) BibTeX

Monads, refinement

Jeremy E. Dawson:
Compound monads in specification languages. 3-10
Electronic Edition (ACM DL) BibTeX
Adam Megacz:
A coinductive monad for prop-bounded recursion. 11-20
Electronic Edition (ACM DL) BibTeX
Joshua Dunfield:
Refined typechecking with Stardust. 21-32
Electronic Edition (ACM DL) BibTeX

Low-level types, dependence

Stefan Monnier:
The swiss coercion. 33-40
Electronic Edition (ACM DL) BibTeX
Rui Shi:
Implementing reliable Linux device drivers in ATS. 41-46
Electronic Edition (ACM DL) BibTeX
Nicolas Oury:
Pattern matching coverage checking with dependent types using set approximations. 47-56
Electronic Edition (ACM DL) BibTeX

Equality, panel

Thorsten Altenkirch, Conor McBride, Wouter Swierstra:
Observational equality, now! 57-68
Electronic Edition (ACM DL) BibTeX

Copyright © Sat May 16 23:33:33 2009 by Michael Ley (ley@uni-trier.de)