VPT@ETAPS

Keyphrases

Publications

2021

volume 341, 2021

Proceedings of the 9th International Workshop on Verification and Program Transformation, VPT@ETAPS 2021, Luxembourg, Luxembourg, 27th and 28th of March 2021. VPT@ETAPS 341 (2021)

2017

volume 253, 2017

Proceedings Fifth International Workshop on Verification and Program Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017. VPT@ETAPS 253 (2017)

2016

Gergö Barany
Hybrid Information Flow Analysis for Programs with Arrays. VPT@ETAPS (2016)
Dániel Horpácsi, Judit Köszegi, Simon J. Thompson
Towards Trustworthy Refactoring in Erlang. VPT@ETAPS (2016)
Bishoksan Kafle, John P. Gallagher
Interpolant tree automata and their application in Horn clause verification. VPT@ETAPS (2016)
Venkatesh Kannan, Geoff W. Hamilton
Program Transformation to Identify List-Based Parallel Skeletons. VPT@ETAPS (2016)
Julien Cohen
Renaming Global Variables in C Mechanically Proved Correct. VPT@ETAPS (2016)
Amir M. Ben-Amram, Aviad Pineles
Flowchart Programs, Regular Expressions, and Decidability of Polynomial Growth-Rate. VPT@ETAPS (2016)
Antonina Nepeivoda
Turchin's Relation for Call-by-Name Computations: A Formal Approach. VPT@ETAPS (2016)
Geoff W. Hamilton
Generating Counterexamples for Model Checking by Transformation. VPT@ETAPS (2016)

volume 216, 2016

Proceedings of the Fourth International Workshop on Verification and Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands, 2nd April 2016. VPT@ETAPS 216 (2016)

2015

volume 199, 2015

Proceedings of the Third International Workshop on Verification and Program Transformation, VPT@ETAPS 2015, London, United Kingdom, 11th April 2015. VPT@ETAPS 199 (2015)