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

Person

Vivien Maisonneuve Seventh / /

Position

forward / /

URL

http /

SocialTag