VPT 2014: BibTeX Entries

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}}