Sciweavers

ESOP
2005
Springer

Analysis of Modular Arithmetic

13 years 9 months ago
Analysis of Modular Arithmetic
Additional Key Words and Phrases: program analysis, modular arithmetic, abstract interpretation, affine relation, interprocedural analysis
Markus Müller-Olm, Helmut Seidl
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where ESOP
Authors Markus Müller-Olm, Helmut Seidl
Comments (0)