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.
Low-level types, dependence
- Stefan Monnier:
The swiss coercion.
- Rui Shi:
Implementing reliable Linux device drivers in ATS.
- Nicolas Oury:
Pattern matching coverage checking with dependent types using set approximations.
Last update Mon May 20 15:47:57 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page