Back to Results
First PageMeta Content
Computing / Loop invariant / Invariant / Infinite loop / Constructible universe / For loop / Loop-invariant code motion / Invariant theory / Software engineering / Computer programming / Control flow


Maximal and Compositional Pattern-Based Loop Invariants Virginia Aponte1 , Pierre Courtieu1 , Yannick Moy2 , and Marc Sango2 1 CNAM, 292 rue Saint-Martin FParis Cedex 03 - FRANCE
Add to Reading List

Document Date: 2012-05-11 04:00:25

Open Document

File Size: 487,49 KB

Share Result on Facebook
UPDATE