Volume
@proceedings{VPT2014,
title = {VPT 2014. Second International Workshop on Verification and Program Transformation},
editor = {Alexei Lisitsa and Andrei Nemytykh},
series = {EPiC Series in Computing},
volume = {28},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{VPT2014:Towards_Constraint_Solving_over_Higher_Order,
author = {Michael Leuschel},
title = {Towards Constraint-Solving over Higher-Order Unbounded Datatypes using Formal Methods Tools},
booktitle = {VPT 2014. Second International Workshop on Verification and Program Transformation},
editor = {Alexei Lisitsa and Andrei Nemytykh},
series = {EPiC Series in Computing},
volume = {28},
pages = {1},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/dc},
doi = {10.29007/3rvf}}
@inproceedings{VPT2014:Towards_Automated_Proving_of,
author = {Klaus von Gleissenthall and Andrey Rybalchenko and Santiago Zanella-B\textbackslash{}'eguelin},
title = {Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk)},
booktitle = {VPT 2014. Second International Workshop on Verification and Program Transformation},
editor = {Alexei Lisitsa and Andrei Nemytykh},
series = {EPiC Series in Computing},
volume = {28},
pages = {2},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/JvN1},
doi = {10.29007/t2h1}}
@inproceedings{VPT2014:Program_Verification_using_Constraint,
author = {Emanuele De Angelis and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti},
title = {Program Verification using Constraint Handling Rules and Array Constraint Generalizations},
booktitle = {VPT 2014. Second International Workshop on Verification and Program Transformation},
editor = {Alexei Lisitsa and Andrei Nemytykh},
series = {EPiC Series in Computing},
volume = {28},
pages = {3--18},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/8Gp},
doi = {10.29007/dkxs}}
@inproceedings{VPT2014:Branching_Processes_of_Conservative,
author = {Daniil Frumin and Irina Lomazova},
title = {Branching Processes of Conservative Nested Petri Nets},
booktitle = {VPT 2014. Second International Workshop on Verification and Program Transformation},
editor = {Alexei Lisitsa and Andrei Nemytykh},
series = {EPiC Series in Computing},
volume = {28},
pages = {19--35},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/cjLR},
doi = {10.29007/6ntb}}
@inproceedings{VPT2014:Local_Driving_in_Higher_Order,
author = {Geoff Hamilton and Morten Heine S\{\textbackslash{}o\}rensen},
title = {Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem},
booktitle = {VPT 2014. Second International Workshop on Verification and Program Transformation},
editor = {Alexei Lisitsa and Andrei Nemytykh},
series = {EPiC Series in Computing},
volume = {28},
pages = {36--51},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/fV},
doi = {10.29007/t4gz}}
@inproceedings{VPT2014:Note_on_Program_Specialization.,
author = {Alexei Lisitsa and Andrei Nemytykh},
title = {A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal?},
booktitle = {VPT 2014. Second International Workshop on Verification and Program Transformation},
editor = {Alexei Lisitsa and Andrei Nemytykh},
series = {EPiC Series in Computing},
volume = {28},
pages = {52--65},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/5pd},
doi = {10.29007/cj27}}
@inproceedings{VPT2014:On_Unfolding_for_Programs,
author = {Andrei Nemytykh},
title = {On Unfolding for Programs Using Strings as a Data Type},
booktitle = {VPT 2014. Second International Workshop on Verification and Program Transformation},
editor = {Alexei Lisitsa and Andrei Nemytykh},
series = {EPiC Series in Computing},
volume = {28},
pages = {66--83},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/wDM},
doi = {10.29007/m8rr}}
@inproceedings{VPT2014:Verification_of_Multi_Party_Ping_Pong,
author = {Antonina Nepeivoda},
title = {Verification of Multi-Party Ping-Pong Protocols via Program Transformation},
booktitle = {VPT 2014. Second International Workshop on Verification and Program Transformation},
editor = {Alexei Lisitsa and Andrei Nemytykh},
series = {EPiC Series in Computing},
volume = {28},
pages = {84--98},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/PQP},
doi = {10.29007/1r2w}}
@inproceedings{VPT2014:Formal_Replay_of_Translation,
author = {Thomas Sewell},
title = {Formal Replay of Translation Validation for Highly Optimised C},
booktitle = {VPT 2014. Second International Workshop on Verification and Program Transformation},
editor = {Alexei Lisitsa and Andrei Nemytykh},
series = {EPiC Series in Computing},
volume = {28},
pages = {99--111},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Hsx5},
doi = {10.29007/dw2m}}