|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 ...
Organizing Committee (VPT 2019)