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 - Loop-invariant code motion - Document - PDFSEARCH.IO

First Page	Meta Content
	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 City Amsterdam / Compositional Pattern / Paris / / Country France / / / Person Marc Sango Running / Marc Sango / Pierre Courtieu / Yannick Moy / / Position vp property / / SocialTag Computing Loop invariant Invariant Infinite loop Constructible universe For loop Loop-invariant code motion Invariant theory Software engineering Computer programming

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 - FRANCEAdd to Reading List