Automatic Program Analysis
Schedule and Slides
---++ General issues As concerns hardware and software this is a rather simple course. You can often get away with using a Haskell compiler (ghc[i] is advised) for the programming assignment. The language of implementation will be decided on a per assignment/project basis. ---++ Software downloads * [[%ATTACHURL%/typeandeffect-latex-base.zip][typeandeffect-latex-base.zip]]: !Lhs2Tex styles/formats with examples for Type and Effect systems. People have asked whether they may use parsers etc. made during Compiler Construction. The answer is Yes, you may. ---++ More information Questions about hardware and software installed on the student network should be addressed to the student helpdesk (email@example.com). Before you do, first consult the _computers and services_ pages of the institute right <a href="http://www.cs.uu.nl/intern/technical/" target="_top">here</a>, (especially under _systems and services_).