CIDEC    
ÜIK
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 http://www.di.ens.fr/~cousot/summerschools/EWSCS03-P-Cousot-course/index.shtml

Content


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

URL: http://www.di.ens.fr/~cousot/

http://www.cs.ioc.ee/yik/schools/win2003/

Modified Monday, Oct 12, 2015 at 17:19 EEST+0300 by monika@cs.ioc.ee