Volume
@proceedings{VPT2013,
title = {VPT 2013. First International Workshop on Verification and Program Transformation},
editor = {Alexei Lisitsa and Andrei Nemytykh},
series = {EPiC Series in Computing},
volume = {16},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{VPT2013:Ranking_Functions_for_Linear_Constraint,
author = {Amir Ben-Amram},
title = {Ranking Functions for Linear-Constraint Loops},
booktitle = {VPT 2013. First International Workshop on Verification and Program Transformation},
editor = {Alexei Lisitsa and Andrei Nemytykh},
series = {EPiC Series in Computing},
volume = {16},
pages = {1--8},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/kqj},
doi = {10.29007/rvs4}}
@inproceedings{VPT2013:Transforming_Undecidable_Synthesis_Problems,
author = {Bernd Finkbeiner},
title = {Transforming Undecidable Synthesis Problems into Decidable Problems},
booktitle = {VPT 2013. First International Workshop on Verification and Program Transformation},
editor = {Alexei Lisitsa and Andrei Nemytykh},
series = {EPiC Series in Computing},
volume = {16},
pages = {9},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/kdc},
doi = {10.29007/tj84}}
@inproceedings{VPT2013:Acceleration_For_Presburger_Petri,
author = {Jerome Leroux},
title = {Acceleration For Presburger Petri Nets},
booktitle = {VPT 2013. First International Workshop on Verification and Program Transformation},
editor = {Alexei Lisitsa and Andrei Nemytykh},
series = {EPiC Series in Computing},
volume = {16},
pages = {10--12},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/hnX},
doi = {10.29007/8wkd}}
@inproceedings{VPT2013:Program_Transformation_for_Program,
author = {Alberto Pettorossi and Maurizio Proietti},
title = {Program Transformation for Program Verification},
booktitle = {VPT 2013. First International Workshop on Verification and Program Transformation},
editor = {Alexei Lisitsa and Andrei Nemytykh},
series = {EPiC Series in Computing},
volume = {16},
pages = {13--14},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/7D},
doi = {10.29007/t9v2}}
@inproceedings{VPT2013:Building_trustworthy_refactoring_tools,
author = {Simon Thompson},
title = {Building trustworthy refactoring tools},
booktitle = {VPT 2013. First International Workshop on Verification and Program Transformation},
editor = {Alexei Lisitsa and Andrei Nemytykh},
series = {EPiC Series in Computing},
volume = {16},
pages = {15},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/3wg},
doi = {10.29007/z7pq}}
@inproceedings{VPT2013:Cryptographic_Protocol_Verification_via,
author = {Abdulbasit Ahmed and Alexei Lisitsa and Andrei Nemytykh},
title = {Cryptographic Protocol Verification via Supercompilation (A Case Study)},
booktitle = {VPT 2013. First International Workshop on Verification and Program Transformation},
editor = {Alexei Lisitsa and Andrei Nemytykh},
series = {EPiC Series in Computing},
volume = {16},
pages = {16--29},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/txLj},
doi = {10.29007/gpsh}}
@inproceedings{VPT2013:Verification_of_Imperative_Programs,
author = {Emanuele De Angelis and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti},
title = {Verification of Imperative Programs through Transformation of Constraint Logic Programs},
booktitle = {VPT 2013. First International Workshop on Verification and Program Transformation},
editor = {Alexei Lisitsa and Andrei Nemytykh},
series = {EPiC Series in Computing},
volume = {16},
pages = {30--41},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/RKS},
doi = {10.29007/163x}}
@inproceedings{VPT2013:On_Termination_of_Positive,
author = {Geoff Hamilton},
title = {On the Termination of Positive Supercompilation},
booktitle = {VPT 2013. First International Workshop on Verification and Program Transformation},
editor = {Alexei Lisitsa and Andrei Nemytykh},
series = {EPiC Series in Computing},
volume = {16},
pages = {42--56},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/FJ},
doi = {10.29007/4vl2}}
@inproceedings{VPT2013:Transforming_Event_B_Models,
author = {Dominique Mery and Rosemary Monahan},
title = {Transforming Event B Models into Verified C\textbackslash{}\# Implementations},
booktitle = {VPT 2013. First International Workshop on Verification and Program Transformation},
editor = {Alexei Lisitsa and Andrei Nemytykh},
series = {EPiC Series in Computing},
volume = {16},
pages = {57--73},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/kmrz},
doi = {10.29007/9wm9}}
@inproceedings{VPT2013:Ping_Pong_Protocols_as_Prefix,
author = {Antonina Nepeivoda},
title = {Ping-Pong Protocols as Prefix Grammars and Turchin Relation},
booktitle = {VPT 2013. First International Workshop on Verification and Program Transformation},
editor = {Alexei Lisitsa and Andrei Nemytykh},
series = {EPiC Series in Computing},
volume = {16},
pages = {74--87},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/ZX},
doi = {10.29007/lw7c}}