[Forside] [Hovedområder] [Perioder] [Udannelser] [Alle kurser på en side]
The participants will after the course have insight into -functional programming implementations, -functional programming transformations, as well as an understanding of fundamental inter-derivation techniques.
A number of small written exercises must be handed in and be approved during the course. A larger project report should be written on a subject chosen by each student and the lecturer. This term project must be passed.
Computation is traditionally specified by small-step operational semantics, abstract machines, big-step abstract machines, and valuation functions. The course is based on the code of the lecturer DSc thesis work, and is dedicated to systematic inter-derivations of these semantic artifacts.
Programming Languages, Introduction to Functional Programming
Olivier Danvy
Forelæsninger og øvelser
Engelsk
Lecture notes and published research papers
December/januar, reeksamen foregår efter aftale med underviseren
Datalogisk Institut
Afsluttende projekt,
7-skala, ingen censur