Sciweavers

94

Voted

ENTCS
2010

82views more ENTCS 2010»

A Modular Static Analysis Approach to Affine Loop Invariants Detection

15 years 9 days ago

A Modular Static Analysis Approach to Affine Loop Invariants Detection

Download www.cri.ensmp.fr

ional Workshop on Numerical and Symbolic Abstract Domains NSAD 2010 I.0.1I.0.1

Corinne Ancourt, Fabien Coelho, François Ir...

claim paper

Read More »