PLPV 2009: Savannah, GA, USA
Thorsten Altenkirch, Todd D. Millstein (Eds.): 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- Manuel Fähndrich: Language-agnostic specification and verification: invited talk. 1-2
Session 1
- Noam Zeilberger: Refinement types and computational duality. 15-26
- Kenneth L. Knowles, Cormac Flanagan: Compositional reasoning and decidable checking for dependent contract types. 27-38
Session 2
- Aaron Stump, Morgan Deters, Adam Petcher, Todd Schiller, Timothy W. Simpson: Verified programming in Guru. 49-58
- Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez: Embedding a logical theory of constructions in Agda. 59-66
Session 3
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team