An Abstract Domain for Trees with Numeric Relations.

Matthieu Journault, Antoine Min, Abdelraouf Ouadjaout

Browse the full ESOP paper archive.