Proceedings of the 9th International Workshop on Verification and Program Transformation

09/05/2021
by   Alexei Lisitsa, et al.
0

The previous VPT 2020 workshop was organized in honour of Professor Alberto Pettorossi on the occasion of his academic retirement from Università di Roma Tor Vergata. Due to the pandemic the VPT 2020 meeting was cancelled but its proceeding have already appeared in the EPTCS 320 volume. The joint VPT-20-21 event has subsumed the original programme of VPT 2020 and provided an opportunity to meet and celebrate the achievements of Professor Alberto Pettorossi; its programme was further expanded with the newly submitted presentations for VPT 2021. 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.

READ FULL TEXT
research
08/23/2017

Proceedings Fifth International Workshop on Verification and Program Transformation

This volume contains the proceedings of the Fifth International Workshop...
research
08/16/2019

Proceedings Seventh International Workshop on Verification and Program Transformation

This volume contains a final and revised selection of papers presented a...
research
02/21/2019

Proceedings Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation

This volume contains the formal proceedings of the 5th International Wor...
research
09/12/2018

Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis

Many Program Verification and Synthesis problems of interest can be mode...

Please sign up or login with your details

Forgot password? Click here to reset