VSL 2014: VIENNA SUMMER OF LOGIC 2014

B
Bubel, Richard	A Theorem Prover Backed Approach to Array Abstraction
F
Fraser, Gordon	Loop Invariants by Mutation, Dynamic Validation, and Static Checking
Furia, Carlo A.	Loop Invariants by Mutation, Dynamic Validation, and Static Checking
G
Galeotti, Juan Pablo	Loop Invariants by Mutation, Dynamic Validation, and Static Checking
H
Hermant, Olivier	ALICe: A Framework to Improve Affine Loop Invariant Computation
I
Irigoin, François	ALICe: A Framework to Improve Affine Loop Invariant Computation
M
Maisonneuve, Vivien	ALICe: A Framework to Improve Affine Loop Invariant Computation
May, Eva	Loop Invariants by Mutation, Dynamic Validation, and Static Checking
W
Wasser, Nathan	A Theorem Prover Backed Approach to Array Abstraction
Z
Zeller, Andreas	Loop Invariants by Mutation, Dynamic Validation, and Static Checking

Disclaimer | Powered by EasyChair Smart Program