Proceedings Fifth International Workshop on Verification and Program Transformation

TL;DR

This volume compiles proceedings from the Fifth International Workshop on Verification and Program Transformation, highlighting recent research, discussions, and invited talks on the intersection of program verification and transformation techniques.

Contribution

It presents a collection of recent research papers and invited talks that explore the interactions between program verification and transformation fields.

Findings

Seven research papers presented on verification and transformation.

Three invited talks from leading experts in the field.

Fosters collaboration between verification and transformation communities.

Abstract

This volume contains the proceedings of the Fifth International Workshop on Verification and Program Transformation (VPT 2017). The workshop took place in Uppsala, Sweden, on April 29th, 2017, affiliated with the European Joint Conferences on Theory and Practice of Software (ETAPS). The aim of the VPT workshop series is to provide a forum where people from the areas of program transformation and program verification can fruitfully exchange ideas and gain a deeper understanding of the interactions between those two fields. Seven papers were presented at the workshop. Additionally, three invited talks were given by Javier Esparza (Technische Universit\"at M\"unchen, Germany), Manuel Hermenegildo (IMDEA Software Institute, Madrid, Spain), and Alexey Khoroshilov (Linux Verification Center, ISPRAS, Moscow, Russia).