Vitor Paisante, Maroua Maalej, Leonardo Barbosa, Laure Gonnord, Fernando Magno Quintão Pereira. Symbolic range analysis of pointers. In Björn Franke, Youfeng Wu, Fabrice Rastello, editors, Proceedings of the 2016 International Symposium on Code Generation and Optimization, CGO 2016, Barcelona, Spain, March 12-18, 2016. pages 171-181, ACM, 2016. [doi]
Abstract is missing.