VSL 2014: VIENNA SUMMER OF LOGIC 2014

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
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	On Unfolding for Programs Using Strings as a Data Type A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal?
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
V
von Gleissenthall, Klaus	Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk)
Z
Zanella-Béguelin, Santiago	Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk)

Disclaimer | Powered by EasyChair Smart Program