Arnault Ioualalen, Matthieu Martel
A New Abstract Domain for the Representation of Mathematically Equivalent Expressions
SAS, 2012.
@inproceedings{SAS-2012-IoualalenM, author = "Arnault Ioualalen and Matthieu Martel", booktitle = "{Proceedings of the 19th International Static Analysis Symposium}", doi = "10.1007/978-3-642-33125-1_8", isbn = "978-3-642-33124-4", pages = "75--93", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{A New Abstract Domain for the Representation of Mathematically Equivalent Expressions}", volume = 7460, year = 2012, }