Implementation of Programming Languages

Code:

CC4023

Acronym:

CC4023

Level:

400

Keywords
Classification	Keyword
OFICIAL	Computer Science

Instance: 2022/2023 - 2S

Active?	Yes
Web Page:	http://www.dcc.fc.up.pt/~pbv/linguagens
Responsible unit:	Department of Computer Science
Course/CS Responsible:	Master in Computer Science

Cycles of Study/Courses

Acronym	No. of Students	Study Plan	Curricular Years	Credits UCN	Credits ECTS	Contact hours	Total Time
M:CC	13	Study plan since 2014/2015	1	-	6	42	162

Teaching language

Suitable for English-speaking students

Objectives

Introduction to the design principles and implementation techniques of functional languages and object-oriented languages.

Learning outcomes and competences

Students should adquire the following competencies: (a) understand the principles used for implementating lazy functional language (such as Haskell) on convencional architectures, the technological problems and available solutions; (b) understand the importance of gabage collection techniques and just-in-time compilation for the performance of object-oriented languages (such as Java).

Working method

Presencial

Pre-requirements (prior knowledge) and co-requirements (common knowledge)

Knowledge in functional and object-oriented programming languages (e.g. Haskell and Java); knowledge of low-level programming language (e.g. C),

Program

Module on functional languages

Definition of a minimal functional languages based on the lambda-calculus. Strict vs. non-strict semantics. Call-by-value and call-by-name reduction strategies. Implementation of higher-order functions using closures. The SECD abstract machine. Call-by-need reduction strategy using graph reduction. The architecure of the Glasgow Haskell Compiler. Translation in Core language of some Haskell language features. Translation of type classes using dictonaries. Code optimization by Core-to-Core program transformation. The STG abstract machine. Operational semantics of the STG.

Module on object oriented languages

Memory managent in Java. Integration with the JVM. Notion of garbage collector. Algorithms for garbage collection and their time and space complexity. Notion of just-in-time compiler (JIT Compiler). Integration with the JVM. Notion of "profiling". Types of optimizations commonly used on "byte-code". Diferent levels of agressivenss in optimizations.

Mandatory literature

S.L. Peyton Jones; The implementation of functional programming languages. ISBN: 0-13-453325-9
S.L. Peyton Jones; Implementing functional languages. ISBN: 0-13-721952-0
Richard Jones; Garbage collection. ISBN: 978-0-471-94148-4
Benjamin J. Evans, James Gough, Chris Newland; Optimizing Java, O'Reilly Media, 2018. ISBN: ‎1492025798

Teaching methods and learning activities

Lectures presenting concepts aided with illustrative examples of principles of language design and implementation.

Evaluation Type

Distributed evaluation with final exam

Assessment Components

designation	Weight (%)
Exame	60,00
Trabalho laboratorial	40,00
Total:	100,00

Amount of time allocated to each course unit

designation	Time (hours)
Estudo autónomo	84,00
Frequência das aulas	42,00
Trabalho laboratorial	36,00
Total:	162,00

Eligibility for exams

N/A

Calculation formula of final grade

Students are assessed by two practical assignments (graded for 4 points each out of 20) and a written examination in the end of the semester (graded for 12 points out of 20). The minimal grade on exam for aproval is 40%.

The rules above apply equally for classification improvment and special assessments.

Special assessment (TE, DA, ...)

The same rules for calculating the final grade apply.

Classification improvement

The same rules for calculating the final grade apply.

Observations

The second sitting exam follows the same classification rules as the first sitting. The classification of midterm projects cannot be improved on the second sitting.