Web links

The following resources should come in handy while working on your assignments. The list of links may grow in the future. If you find some good ones, mail them to me.

• The TOP project
  The TOP project is a local initiative for abstract interpretation using constraint based program analysis. Main participators are Jurriaan Hage and Bastiaan Heeren, currently we have two students working on a project. The website also includes suggestions for more projects.