Slides for POPL'18 tutorial on algebraic program analysis:
background
|
intraprocedural analysis
| interprocedural analysis (coming soon) |
iteration domains