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

Bertrand Jeannet

• Contents
• Invoking InterprocStack
• The "Simple" language
• Syntax and informal semantics
• Formal semantics (to be updated)
• What InterprocStack does for you
• References