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

Document Date: 2014-01-28 04:42:34


Open Document

File Size: 209,59 KB

Share Result on Facebook
UPDATE