Estonian Winter Schools in Computer Science    
Eesti arvutiteaduse talvekoolid
EWSCS 2003
EATTK 2003

8th Estonian Winter School in Computer Science (EWSCS)
VIII Eesti Arvutiteaduse Talvekool (EATTK)

Palmse, Estonia
March 2 - 7, 2003

Patrick Cousot

Département d'Informatique (DI)
École Normale Supérieure (ENS), France

An Introduction to Abstract Interpretation

The objective of the course is to present the formal bases of Abstract Interpretation theory in simple terms and to discuss various applications in Computer Science.

See also


Course materials

The following two introductory papers are recommended as a written pedagogical support for this course:

The last lesson is based on the following paper:

About the Speaker


Modified Tuesday, Jun 02, 2020 at 13:58 EEST+0300 by