VPT 2014 EASYCHAIR PROCEEDINGS: AUTHOR INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: D F H L N P R S V Z

D
De Angelis, Emanuele	Program Verification using Constraint Handling Rules and Array Constraint Generalizations (PDF, talk)
F
Fioravanti, Fabio	Program Verification using Constraint Handling Rules and Array Constraint Generalizations (PDF, talk)
Frumin, Daniil	Branching Processes of Conservative Nested Petri Nets (PDF, talk)
H
Hamilton, Geoff	Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem (PDF, talk)
L
Leuschel, Michael	Towards Constraint-Solving over Higher-Order Unbounded Datatypes using Formal Methods Tools (PDF)
Lisitsa, Alexei	A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal? (PDF, talk)
Lomazova, Irina	Branching Processes of Conservative Nested Petri Nets (PDF, talk)
N
Nemytykh, Andrei	A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal? (PDF, talk) On Unfolding for Programs Using Strings as a Data Type (PDF, talk)
Nepeivoda, Antonina	Verification of Multi-Party Ping-Pong Protocols via Program Transformation (PDF, talk)
P
Pettorossi, Alberto	Program Verification using Constraint Handling Rules and Array Constraint Generalizations (PDF, talk)
Proietti, Maurizio	Program Verification using Constraint Handling Rules and Array Constraint Generalizations (PDF, talk)
R
Rybalchenko, Andrey	Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk) (PDF, talk)
S
Sewell, Thomas	Formal Replay of Translation Validation for Highly Optimised C (PDF, talk)
Sørensen, Morten Heine	Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem (PDF, talk)
V
von Gleissenthall, Klaus	Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk) (PDF, talk)
Z
Zanella-Béguelin, Santiago	Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk) (PDF, talk)