WING 2014 WORKSHOP PAPERS: KEYWORD INDEX

Shortcuts: A B D L M P S T

A
abstract interpretation	A Theorem Prover Backed Approach to Array Abstraction (PDF, talk)
automated verification	Loop Invariants by Mutation, Dynamic Validation, and Static Checking (PDF, talk)
B
benchmark	ALICe: A Framework to Improve Affine Loop Invariant Computation (PDF, talk)
D
deduction	A Theorem Prover Backed Approach to Array Abstraction (PDF, talk)
dynamic techniques	Loop Invariants by Mutation, Dynamic Validation, and Static Checking (PDF, talk)
L
loop invariant	ALICe: A Framework to Improve Affine Loop Invariant Computation (PDF, talk)
loop invariants	Loop Invariants by Mutation, Dynamic Validation, and Static Checking (PDF, talk)
M
model checking	ALICe: A Framework to Improve Affine Loop Invariant Computation (PDF, talk)
P
program analysis	ALICe: A Framework to Improve Affine Loop Invariant Computation (PDF, talk)
program verification	A Theorem Prover Backed Approach to Array Abstraction (PDF, talk)
S
static checking	Loop Invariants by Mutation, Dynamic Validation, and Static Checking (PDF, talk)
T
transformer	ALICe: A Framework to Improve Affine Loop Invariant Computation (PDF, talk)