Back to Results
First PageMeta Content
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

Document Date: 2014-08-26 09:22:06

Open Document

File Size: 208,92 KB

Share Result on Facebook
UPDATE