Interproc analyzer for recursive programs with numerical variables

Bertrand Jeannet

• Contents
• Invoking Interproc
• The "Simple" language
• Syntax and informal semantics
• Formal semantics
• What Interproc does for you
• References