NDAA09032U Advanced Language Processing

Volume 2014/2015
Content

The course covers implementation of advanced programming language features and methods for automatic analysis and transformation of programs.

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.
Learning Outcome


Knowledge: Methods for implementing various language paradigms and features and for optimising and transforming programs using these.

Skills: Reading and presenting scientific papers about the course topics.  Implementing simple instances of selected topics.

Competences: Understanding the impact language design choices have on implementation and transformation of programs.

See Absalon when the course is set up.

The student must be familiar with different programming language paradigms corresponding to the content of the course "Advanced Programming" and have a basic understanding of computer architecture and programming language implementation, including lexing, parsing and code generation.
Lectures and sessions with discussion and problem solving. Project work and seminar presentations.
  • Category
  • Hours
  • Colloquia
  • 15
  • Lectures
  • 18
  • Preparation
  • 127
  • Project work
  • 30
  • Seminar
  • 1
  • Theory exercises
  • 15
  • Total
  • 206
Credit
7,5 ECTS
Type of assessment
Continuous assessment
The final grade is an overall evaluation of three reports and one seminar presentation, with equal weighting.

The reports document implementation of methods presented in the course and the seminar presentation is a 45-minute long presentation of a research paper to the classroom.
Aid
All aids allowed
Marking scale
7-point grading scale
Censorship form
No external censorship
Several internal examiners.
Re-exam
Resubmission of the three report exercises and a 30-minute oral exam without preparation with questions from the lecture notes.
Criteria for exam assesment

In order to receive the grade 12, the student should be able to demonstrate mastery of the knowledge, skills and competences described under the course goals.  In particular:

  • 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.