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