Contents

Contents

Contents

• Contents
• Invoking InterprocStack
• The "Simple" language
• Syntax and informal semantics
• Program.
• Instructions.
• Expressions.
• Expressions.
• Boolean expressions.
• Bounded integer and enumerated expressions.
• Numerical expressions.
• Examples of numerical expressions.
• Formal semantics (to be updated)
• Semantics domains.
• Semantics of expressions.
• Semantics of programs
• What InterprocStack does for you
• Invariants
• Single forward/reachability analysis
• Single backward/coreachability analysis
• Combined forward/backward analyses
• References

Contents

Contents