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

Claude Marché:
Jessie: an intermediate language for Java and C verification. 1-2

Monads, refinement

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

Low-level types, dependence

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

Equality, panel

Thorsten Altenkirch, Conor McBride, Wouter Swierstra:
Observational equality, now! 57-68

Last update Mon May 20 15:47:57 2013 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page