Write a Blog >>
VPT 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
co-located with ‹Programming› 2019
All Editions
Mon 1 - Thu 4 April 2019 Genoa, Italy

VPT 2019 with ‹Programming› 2019

The aim of the VPT 2019 workshop is to bring together researchers working in the fields of Program Verification and Program Transformation. There is a great potential for beneficial interactions between these two fields because: On one hand, methods and tools developed in the field of Program Transformation such as partial evaluation, fold/unfold transformations, and supercompilation, have all been applied with ...