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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2014}}
Papers
@inproceedings{VPT2014:Towards_Constraint_Solving_over,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/dc},
doi = {10.29007/3rvf},
pages = {1},
year = {2014}}
@inproceedings{VPT2014:Towards_Automated_Proving_Relational,
author = {Klaus von Gleissenthall and Andrey Rybalchenko and Santiago Zanella-Béguelin},
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/JvN1},
doi = {10.29007/t2h1},
pages = {2},
year = {2014}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/8Gp},
doi = {10.29007/dkxs},
pages = {3-18},
year = {2014}}
@inproceedings{VPT2014:Branching_Processes_Conservative_Nested,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/cjLR},
doi = {10.29007/6ntb},
pages = {19-35},
year = {2014}}
@inproceedings{VPT2014:Local_Driving_Higher_Order,
author = {Geoff Hamilton and Morten Heine Sø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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/fV},
doi = {10.29007/t4gz},
pages = {36-51},
year = {2014}}
@inproceedings{VPT2014:Note_Program_Specialization._What,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/5pd},
doi = {10.29007/cj27},
pages = {52-65},
year = {2014}}
@inproceedings{VPT2014:Unfolding_Programs_Using_Strings,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/wDM},
doi = {10.29007/m8rr},
pages = {66-83},
year = {2014}}
@inproceedings{VPT2014:Verification_Multi_Party_Ping,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/PQP},
doi = {10.29007/1r2w},
pages = {84-98},
year = {2014}}
@inproceedings{VPT2014:Formal_Replay_Translation_Validation,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Hsx5},
doi = {10.29007/dw2m},
pages = {99-111},
year = {2014}}
