ALICe: A Framework to Improve Affine Loop Invariant Computation

First Page		Document Content
Date: 2014-08-26 09:22:06 Loop invariant Convex function Finitary relation Program logic Predicate transformer semantics Function Mathematics Mathematical analysis Control flow		ALICe: A Framework to Improve Affine Loop Invariant Computation Add to Reading List Source URL: www.cri.ensmp.fr Download Document from Source Website File Size: 208,92 KB Share Document on Facebook