Course content

Introdction to functional and logical languages, syntax, syntax analysis, translators, interpreters, semantics. Comparison of language properties, particularly security, data typing, analyzability, run-time systems, semantics, area of application and modularization.

Learning outcome

The course should give (1) an understanding of basic properties of imperative, logical, functional and object oriented programming languages (2) practical knowledge of techniqes for implementing such languages and for describing their meaning (4) the ability to understand and compare existing and future langages.

Learning methods and activities

Lectures, programming laboratory, projects, theoretical assignments. The final grade will be the result of a portfolio evaluation, where the final exam will have 70% weight and other work 30%. The parts will be graded on a 0 - 100 points scale, the weighted result will be on the usal A - F scale. If there is a re-sit examination, the examination form may change from written to oral.

Compulsory assignments

• Exercises

Recommended previous knowledge

Courses TMA4140 Discrete Mathematics, TDT4100 Object-Oriented Programming and TDT4120 Algorithms and Datastructures, or equivalent.

Course materials

van Roy & Haridi: Concepts, Techniques, and Models of Computer Programming, MIT Press, 2004, 900pp+xxix . There will be supplementary notes, project - and exercise descriptions.

Credit reductions