DD2481 Principles of Programming Languages 7.5 credits

Principer för programspråk

Show course information based on the chosen semester and course offering:

Offering and execution

No offering selected

Select the semester and course offering above to get information from the correct course syllabus and course offering.

Course information

Content and learning outcomes

Course contents *

Formal languages, finite automata, context free grammars.

State, scope, extent, static and dynamic information, effects, mutability.

Basic operational semantics.

Abstraction mechanisms, modularity, contracts.

Types, invariants, program equivalence.

Tools for program analysis.

Examples of advanced features of programming languages.

Intended learning outcomes *

After completion of the course, the student should be able to:

  • formally describe languages and program behavior,
  • precisely reason about state, effects, and mutation,
  • reason about and use mechanisms for abstraction and modularization,
  • define type systems formally,
  • prove type soundness,
  • reason about program equivalence,
  • define and reason about contracts,
  • discuss open questions about advanced language features and reflect critically over them,
  • write programs that implement various formalisms, mechanisms and language features

in order to

  • be able to take part in deeper discussions about principles of programming languages,
  • be prepared for courses in compiler construction.

Course Disposition

No information inserted

Literature and preparations

Specific prerequisites *

.

Recommended prerequisites

Programming, algorithms and datastructures correspoding  to one of the courses DD1320, DD1321, DD1325, DD1327, DD1338, DD1339, DD1340, DD1341, DD1346 or ID1020.

Equipment

No information inserted

Literature

Will be announced on the course web no later than 10 weeks before the start of the course.

Examination and completion

Grading scale *

A, B, C, D, E, FX, F

Examination *

  • LAB1 - Laboratory assignments, 3.5 credits, Grading scale: P, F
  • TEN1 - Examination, 2.5 credits, Grading scale: A, B, C, D, E, FX, F
  • UPP1 - Essay, 1.5 credits, Grading scale: A, B, C, D, E, FX, F

Based on recommendation from KTH’s coordinator for disabilities, the examiner will decide how to adapt an examination for students with documented disability.

The examiner may apply another examination format when re-examining individual students.

Under special circumstances, other examination formats may be used.

In this course, the code of honor of the school is applied, see: http://www.kth.se/en/csc/utbildning/hederskodex

Other requirements for final grade *

Passed laboratory assignments, thesis and examination

Opportunity to complete the requirements via supplementary examination

No information inserted

Opportunity to raise an approved grade via renewed examination

No information inserted

Examiner

Philipp Haller

Further information

Course web

Further information about the course can be found on the Course web at the link below. Information on the Course web will later be moved to this site.

Course web DD2481

Offered by

EECS/Computer Science

Main field of study *

Computer Science and Engineering

Education cycle *

Second cycle

Add-on studies

DD2489 Compiler construction

Contact

Philipp Haller (phaller@kth.se)

Ethical approach *

  • All members of a group are responsible for the group's work.
  • In any assessment, every student shall honestly disclose any help received and sources used.
  • In an oral assessment, every student shall be able to present and answer questions about the entire assignment and solution.

Supplementary information

Grading criteria will be announced at the start of the course.

In this course, the EECS code of honor applies, see:
http://www.kth.se/en/eecs/utbildning/hederskodex