VSL 2014: VIENNA SUMMER OF LOGIC 2014

B
Benton, Nick	De haut en bas: relating high-level and low-level abstractions
G
Godfroy, Hubert	Abstract Self Modifying Machines
Goncharov, Sergey	Programming and Verifying with Effect Handling and Iteration
Gunter, Elsa	A Cross-Language Framework for Verifying Compiler Optimizations
H
Hasuo, Ichiro	Compiling Effectful Terms to Transducers: Prototype Implementation of Memoryful Geometry of Interaction
Hoshino, Naohiko	Compiling Effectful Terms to Transducers: Prototype Implementation of Memoryful Geometry of Interaction
K
Kataoka, Toshiki	Compiling Effectful Terms to Transducers: Prototype Implementation of Memoryful Geometry of Interaction
Kolanski, Rafal	On Machines, Virtual Memory and Successful System Verification
M
Mansky, William	A Cross-Language Framework for Verifying Compiler Optimizations
Marion, Jean-Yves	Abstract Self Modifying Machines
Melliès, Paul-André	Tensorial logic with algebraic effects
Muroya, Koko	Compiling Effectful Terms to Transducers: Prototype Implementation of Memoryful Geometry of Interaction
R
Rauch, Christoph	Programming and Verifying with Effect Handling and Iteration
S
Schröder, Lutz	Programming and Verifying with Effect Handling and Iteration
Schöpp, Ulrich	Call-by-Value in a Basic Logic for Interaction

Disclaimer | Powered by EasyChair Smart Program