A Modular Static Analysis Approach to Affine Loop Invariants Detection

13 years 8 months ago

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

Corinne Ancourt, Fabien Coelho, François Ir

ENTCS 2010 | Software Engineering | Symbolic Abstract |

claim paper

Added	02 Mar 2011
Updated	02 Mar 2011
Type	Journal
Year	2010
Where	ENTCS
Authors	Corinne Ancourt, Fabien Coelho, François Irigoin

Comments (0)