Contents
Contents
Contents
Contents
Invoking Interproc
The "Simple" language
Syntax and informal semantics
Program.
Instructions.
Expressions.
Boolean expressions.
Numerical expressions.
Examples of numerical expressions.
Formal semantics
Semantics domains.
Semantics of expressions.
Semantics of programs
What Interproc does for you
Invariants
Single forward/reachability analysis
Single backward/coreachability analysis
Combined forward/backward analyses
References
Contents
Contents