ConcurInterproc analyzer for recursive programs with numerical variables
Bertrand Jeannet
Contents
Invoking ConcurInterproc
The "Simple" language
Program Sample
Syntax and informal semantics
Formal semantics (obsolete,to be updated)
What ConcurInterproc does for you
Experiments
As of 02/02/2009
As of 04/06/2009
References