|
| Udgave: |
Forår 2013 NAT |
| Point: |
7,5 |
| Blokstruktur: |
3. blok |
| Skemagruppe: |
C |
| Fagområde: |
dat |
| Institutter: |
Datalogisk Institut |
| Studieordning: |
Computer Science Master |
| Uddannelsesdel: |
Kandidat niveau |
| Kontaktpersoner: |
Torben Mogensen. Telefon: 35 32 14 04, E-mail: torbenm@diku.dk |
| Andre undervisere: |
Holger Boch Axelsen, tlf.:353-21395, e-mail: funkstar@diku.dk |
| Skema- oplysninger: |
 Vis skema for kurset
Samlet oversigt over tid og sted for alle kurser inden for Lektionsplan for Det Naturvidenskabelige Fakultet Forår 2013 NAT |
| Undervisnings- form: |
Lectures and sessions with discussion and problem solving. Mandatory exercises. |
| Formål: |
The course covers implementation of advanced programming language features and methods for automatic analysis and transformation of programs. |
| Indhold: |
Topics include:
- Memory management, including garbage collection.
- Dataflow analysis.
- Implementing function calls in scoped languages, including closures.
- Implementing polymorphic types.
- Implementing logic languages.
- Various optimisation techniques.
- Program transformation methods such as partial evaluation and supercompilation.
|
| Målbeskrivelse: |
In order to receive the grade 12, the student should be able to:
- Explain how advanced language features such as higher-order functions, inheritance, polymorphism and backtracking are implemented.
- Identify opportunities for optimisation and describe the required analyses and transformations to safely achieve these optimisations.
- Define selected program transformations and sketch their implementation.
- Implement instances of the above for simple languages.
|
| Lærebøger: |
Lecture notes and articles will be provided on course web page. |
| Tilmelding: |
November 15 to December 1, 2012, via KUnet, www.kunet.dk |
| Faglige forudsætninger: |
The student must be familiar with functional and object-oriented programming languages and have a basic understanding of computer architecture and programming language implementation, including lexing, parsing and code generation. |
| Eksamensform: |
In order to qualify for the exam the student must complete 3 mandatory exercises (which can be seminar presentations or small implementation projects).
The final exam is an oral exam without preparation that covers the subjects of the mandatory exercises and the course notes/textbook. 30 minutes including assessment. The exam will use internal grading and be graded on the 7-step scale.
Reexam: Same as ordinary exam. |
| Eksamen: |
Mundtlig prøve d. 10. april 2013.
Reeksamen: Mundtlig prøve d. 26. juni 2013. |
| Kursus hjemmeside: |
 |
| Bemærkninger: |
Each week has two sessions of three hours. Each three-hour session will be divided between lectures, discussion and problem solving according to need. The student is additionally expected to spend an average of 10-15 hours per week for preparation and exercises. |
| Undervisnings- sprog: |
Kun engelsk
|
| Sidst redigeret: |
31/10-2012 |