Abstract is missing.
- Verification challenges of pervasive information flowBenjamin C. Pierce. 1-2 [doi]
- Dependent interoperabilityPeter-Michael Osera, Vilhelm Sjöberg, Steve Zdancewic. 3-14 [doi]
- Equational reasoning about programs with general recursion and call-by-value semanticsGarrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, Ki Yung Ahn. 15-26 [doi]
- Formal network packet processing with minimal fuss: invertible syntax descriptions at workReynald Affeldt, David Nowak, Yutaka Oiwa. 27-36 [doi]
- A hoare calculus for the verification of synchronous languagesManuel Gesell, Klaus Schneider. 37-48 [doi]
- LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programsAlan Jeffrey. 49-60 [doi]
- Reflexive toolbox for regular expression matching: verification of functional programs in Coq+SsreflectVladimir Komendantsky. 61-70 [doi]
- The VerCors project: setting up basecampAfshin Amighi, Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski. 71-82 [doi]