Static Analyses of Congruence Properties on Rational Numbers (Extended Abstract)

Philippe Granger. Static Analyses of Congruence Properties on Rational Numbers (Extended Abstract). In Pascal Van Hentenryck, editor, Static Analysis, 4th International Symposium, SAS 97, Paris, France, September 8-10, 1997, Proceedings. Volume 1302 of Lecture Notes in Computer Science, pages 278-292, Springer, 1997.

No reviews for this publication, yet.