Programming Languages meets Program Verification
PLPV 2014: San Diego, CA, USA
- Nils Anders Danielsson, Bart Jacobs:
Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, PLPV 2014, January 21, 2014, San Diego, California, USA, Co-located with POPL '14. ACM 2014, ISBN 978-1-4503-2567-7 [contents]
PLPV 2013: Rome, Italy
colocated with POPL 2013
- Matthew Might, David Van Horn, Andreas Abel, Tim Sheard:
Proceedings of the 7th Workshop on Programming languages meets program verification, PLPV 2013, Rome, Italy, January 22, 2013. ACM 2013, ISBN 978-1-4503-1860-0 [contents]
PLPV 2012: Philadelphia, Pennsylvania, USA
colocated with POPL 2012
- Koen Claessen, Nikhil Swamy:
Proceedings of the sixth workshop on Programming Languages meets Program Verification, PLPV 2012, Philadelphia, PA, USA, January 24, 2012. ACM 2012, ISBN 978-1-4503-1125-0 [contents]
PLPV 2011: Austin, TX, USA
colocated with POPL 2011
- Ranjit Jhala, Wouter Swierstra:
Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, PLPV 2011, Austin, TX, USA, January 29, 2011. ACM 2011, ISBN 978-1-4503-0487-0 [contents]
PLPV 2010: Madrid, Spain
colocated with POPL 2010
- Jean-Christophe Filliâtre, Cormac Flanagan:
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 [contents]
PLPV 2009: Savannah, GA, USA
colocated with POPL 2009
- Thorsten Altenkirch, Todd D. Millstein:
Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009. ACM 2009, ISBN 978-1-60558-330-3 [contents]
PLPV 2007: Freiburg, Germany
colocated with ICFP 2007
- Aaron Stump, Hongwei Xi:
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 [contents]
1. PLPV 2006: Seattle, WA, USA
colocated with IJCAR 2006