InterprocStack analyzer for recursive programs with finite-type and numerical variables

Bertrand Jeannet