A New Abstract Domain for the Representation of Mathematically Equivalent Expressions.

Arnault Ioualalen, Matthieu Martel

Browse the full SAS paper archive.