abstract-interpretation-course