EasyChair Publications
VPT 2014 Volume Information
Volume:Alexei Lisitsa and Andrei Nemytykh (editors)
VPT 2014. Second International Workshop on Verification and Program Transformation

VPT 2014 Volume Information

Title:VPT 2014. Second International Workshop on Verification and Program Transformation
Editors:Alexei Lisitsa and Andrei Nemytykh
Series:EPiC Series in Computing
Publication date:July 28, 2014


Michael LeuschelTowards Constraint-Solving over Higher-Order Unbounded Datatypes using Formal Methods Tools1
Klaus von Gleissenthall, Andrey Rybalchenko and Santiago Zanella-BéguelinTowards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk)2
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio ProiettiProgram Verification using Constraint Handling Rules and Array Constraint Generalizations3-18
Daniil Frumin and Irina LomazovaBranching Processes of Conservative Nested Petri Nets19-35
Geoff Hamilton and Morten Heine SørensenLocal Driving in Higher-Order Positive Supercompilation via the Omega-theorem36-51
Alexei Lisitsa and Andrei NemytykhA Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal?52-65
Andrei NemytykhOn Unfolding for Programs Using Strings as a Data Type66-83
Antonina NepeivodaVerification of Multi-Party Ping-Pong Protocols via Program Transformation84-98
Thomas SewellFormal Replay of Translation Validation for Highly Optimised C99-111


3program transformation, verification
2program analysis, program specialization
1constraint logic programming, higher order, isabelle/hol, lambda calculus, markov s normal algorithms, nested petri nets, petri nets, ping pong protocols, prefix grammar, program verification, termination, translation validation, true concurrency, unfolding, unfoldings, word equations