Title: PLPV '14: Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages Meets Program Verification
Editors: Danielsson, Nils Anders
Jacobs, Bart
Issue Date: 2014
Publisher: ACM
Conference: PLPV '14: ACM SIGPLAN 2014 Workshop on Programming Languages Meets Program Verification edition:8 location:San Diego, California, USA date:21 January 2014
Abstract: Welcome to the 8th edition of Programming Languages meets Program Verification (PLPV).

The PLPV series of workshops aims to bring together researchers working in the intersection of programming languages and program verification. Relevant topics include, but are not limited to, types, contracts, interactive theorem proving, model checking, and program analysis. A common theme of work in this area is to make program verification easier through the use and/or design of programming language features. One example is provided by dependent types, which make it possible to specify and verify complicated properties using a language's type system. Another example is the combination of programming languages with SMT solvers to automate program verification.

This year the workshop received seven submissions, out of which five were accepted for publication. The programme also includes two invited talks, one by Ranjit Jhala, and one by Lee Pike.
ISBN: 978-1-4503-2567-7
Publication status: published
KU Leuven publication type: IBe
Appears in Collections:Informatics Section

Files in This Item:

There are no files associated with this item.


All items in Lirias are protected by copyright, with all rights reserved.