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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2013}}
Papers
@inproceedings{VPT2013:Ranking_Functions_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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/kqj},
doi = {10.29007/rvs4},
pages = {1-8},
year = {2013}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/kdc},
doi = {10.29007/tj84},
pages = {9},
year = {2013}}
@inproceedings{VPT2013:Acceleration_Presburger_Petri_Nets,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/hnX},
doi = {10.29007/8wkd},
pages = {10-12},
year = {2013}}
@inproceedings{VPT2013:Program_Transformation_Program_Verification,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/7D},
doi = {10.29007/t9v2},
pages = {13-14},
year = {2013}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/3wg},
doi = {10.29007/z7pq},
pages = {15},
year = {2013}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/txLj},
doi = {10.29007/gpsh},
pages = {16-29},
year = {2013}}
@inproceedings{VPT2013:Verification_Imperative_Programs_through,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/RKS},
doi = {10.29007/163x},
pages = {30-41},
year = {2013}}
@inproceedings{VPT2013:Termination_Positive_Supercompilation,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/FJ},
doi = {10.29007/4vl2},
pages = {42-56},
year = {2013}}
@inproceedings{VPT2013:Transforming_Event_B_Models,
author = {Dominique Mery and Rosemary Monahan},
title = {Transforming Event B Models into Verified C# 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/kmrz},
doi = {10.29007/9wm9},
pages = {57-73},
year = {2013}}
@inproceedings{VPT2013:Ping_Pong_Protocols_as,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/ZX},
doi = {10.29007/lw7c},
pages = {74-87},
year = {2013}}
