Pointer disambiguation via strict inequalities.

Maroua Maalej, Vitor Paisante, Pedro Ramos, Laure Gonnord, Fernando Magno Quinto Pereira

Browse the full CGO paper archive.