Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Thorsten Altenkirch, Todd D. Millstein, editors, Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009. ACM, 2009.

Conference: plpv2009

Abstract is missing.

Language-agnostic specification and verification: invited talkManuel FÃ¤hndrich. 1-2 [doi]

Positively dependent typesDaniel R. Licata, Robert Harper. 3-14 [doi]

Refinement types and computational dualityNoam Zeilberger. 15-26 [doi]

Compositional reasoning and decidable checking for dependent contract typesKenneth W. Knowles, Cormac Flanagan. 27-38 [doi]

Type invariants for HaskellTom Schrijvers, Louis-Julien Guillemette, Stefan Monnier. 39-48 [doi]

Verified programming in GuruAaron Stump, Morgan Deters, Adam Petcher, Todd Schiller, Timothy W. Simpson. 49-58 [doi]

Embedding a logical theory of constructions in AgdaAna Bove, Peter Dybjer, AndrÃ©s Sicard-RamÃrez. 59-66 [doi]

Challenge proposal: verification of refactoringsMax Schäfer, Torbjörn Ekman, Oege de Moor. 67-72 [doi]

Pragmatic equivalence and safety checking in CryptolLevent ErkÃ¶k, John Matthews. 73-82 [doi]

runs on WebDSL