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