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