PLPV 2010: Madrid, Spain

Jean-Christophe Filliâtre, Cormac Flanagan (Eds.): Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, PLPV 2010, Madrid, Spain, January 19, 2010. ACM 2010, ISBN 978-1-60558-890-2

Session 1

Stefan Monnier, David Haguenauer:
Singleton types here, singleton types there, singleton types everywhere. 1-8
Matthew Danish, Hongwei Xi:
Operating system development with ATS: work in progress. 9-14

Session 3

Stephanie Weirich, Chris Casinghino:
Arity-generic datatype-generic programming. 15-26

Session 2

Aaron Stump, Evan Austin:
Resource typing in Guru. 27-38
Jan Christiansen, Daniel Seidel, Janis Voigtländer:
Free theorems for functional logic programs. 39-48

Session 1

Stephanie Balzer, Thomas R. Gross:
Modular reasoning about invariants over shared state with interposed data members. 49-56

Session 3

Tomas Kalibera, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, Jan Vitek:
Challenge benchmarks for verification of real-time programs. 57-62

Last update Fri May 24 19:43:16 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