The following pages link to Static Analysis (Q5897431):
Displaying 9 items.
- Program verification using symbolic game semantics (Q477213) (← links)
- Verifying annotated program families using symbolic game semantics (Q1680558) (← links)
- A game-semantic model of computation (Q2319854) (← links)
- Definability and full abstraction (Q2864154) (← links)
- (Q3384159) (← links)
- Compositional Predicate Abstraction from Game Semantics (Q3617753) (← links)
- (Q4472179) (← links)
- Dynamic game semantics (Q4988428) (← links)
- On-the-Fly Techniques for Game-Based Software Model Checking (Q5458322) (← links)