PLPV '14- Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification

Full Citation in the ACM Digital Library

SESSION: Session order 1: invited talk

Programming languages for high-assurance autonomous vehicles: extended abstract

• Lee Pike
• Patrick Hickey
• James Bielman
• Trevor Elliott
• Thomas DuBuisson
• John Launchbury

SESSION: Session order 2: contributed talks

The recursive polarized dual calculus

• Aaron Stump

Substructural typestates

• Filipe Militão
• Jonathan Aldrich
• Luís Caires

SESSION: Session order 3: invited talk

Refinement types for Haskell

• Ranjit Jhala

SESSION: Session order 4: contributed talks

Verified programs with binders

• Martin Clochard
• Claude Marché
• Andrei Paskevich

Formalizing a correctness property of a type-directed partial evaluator

• Noriko Hirota
• Kenichi Asai

SESSION: Session order 5: contributed talks

An abstract categorical semantics for functional reactive programming with processes

• Wolfgang Jeltsch