Philippe Granger

Publication Activity (10 Years)

Years Active: 1991-1997
Publications (10 Years): 0

Publications

Philippe Granger
Static Analyses of Congruence Properties on Rational Numbers (Extended Abstract). SAS (1997)
Philippe Granger
Improving the Results of Static Analyses Programs by Local Decreasing Iteration. FSTTCS (1992)
Philippe Granger
Static Analysis of Linear Congruence Equalities among Variables of a Program. TAPSOFT, Vol.1 (1991)