Interprocedurally Analysing Linear Inequality Relations.

Helmut Seidl, Andrea Flexeder, Michael Petter

Browse the full ESOP paper archive.