ALICe: A Benchmark to Improve Affine Loop Invariant Computation

First Page		Document Content
Date: 2014-01-28 04:42:34 Loop invariant Convex function Finitary relation Program logic Abstraction Predicate transformer semantics Function Mathematics Mathematical analysis Control flow		ALICe: A Benchmark to Improve Affine Loop Invariant Computation Add to Reading List Source URL: www.cri.ensmp.fr Download Document from Source Website File Size: 209,59 KB Share Document on Facebook