| |
| 1997 | ||
|---|---|---|
| 3 | Philippe Granger: Static Analyses of Congruence Properties on Rational Numbers (Extended Abstract). SAS 1997: 278-292 | |
| 1992 | ||
| 2 | Philippe Granger: Improving the Results of Static Analyses Programs by Local Decreasing Iteration. FSTTCS 1992: 68-79 | |
| 1991 | ||
| 1 | Philippe Granger: Static Analysis of Linear Congruence Equalities among Variables of a Program. TAPSOFT, Vol.1 1991: 169-192 | |