Foundations of Programming Languages

Code:

CC440

Acronym:

CC440

Keywords
Classification	Keyword
OFICIAL	Computer Science

Instance: 2013/2014 - 1S

Active?	Yes
Web Page:	http://www.dcc.fc.up.pt/~sandra/Home/FLP1314.html
Responsible unit:	Department of Computer Science
Course/CS Responsible:	Master's Degree in Network and Information Systems Engineering

Cycles of Study/Courses

Acronym	No. of Students	Study Plan	Curricular Years	Credits UCN	Credits ECTS	Contact hours	Total Time
M:CC	6	PE do Mestrado em Ciência de Computadores	1	-	7,5	67	202,5
			2
MI:ERS	0	Plano de Estudos a partir de 2007	4	-	7,5	67	202,5

Teaching language

Portuguese

Objectives

Study of syntactic an semantic formal models of programming language, in order to provide a deep understanding of  the mechanisms behind programming language definition, design, and implementation. 

Learning outcomes and competences

The students will acquire knowledge about syntactic an semantic formal
models of programming language. This course should develop the
techniques and mechanisms behind programming language definition,
design, and implementation. The students should be able to reason about
the meaning of programs in a formal sense. 

Working method

Presencial

Program

Induction. 
Lambda-calculus: sintax, reductions and encodings. 
Type systems: the simple type system; parametric polymorphism; subtyping.
Operational semantics of programming languages. 
Domain theory: Complete partial orders (CPOs). Continuous functions. The fix-point theorem. 
Denotational semantics. Relation between denotational and operational semantics. 
Semantics of functional programming languages. Semantics of the lambda-calculus.
Semantics for  languages based on concurrency.   Nondeterminism and parallelism. Milner's CCS (Calculus of Comunication Systems). 

Mandatory literature

Nielson and Nielson; Semantics with Applications: an appetizer, 2007
Chris Hankin; An Introduction to Lambda Calculus for Computer Scientis
Hindley John Roger; Basic simple type theory. ISBN: 0-521-46518-4

Complementary Bibliography

G. Winskel; The Formal Semantics of Programming languages, 1993
H. Barendregt; The Lambda Calculus: its syntax and semantics, 1985
Mitchell John C.; Foundations for programming languages. ISBN: 978-0-262-13321-0
Fernández Maribel; Programming languages and operational semantics. ISBN: 0-9543006-3-7

Teaching methods and learning activities

Lectures with exposition of the elements in the syllabus and practical lectures with resolution of exercises.

Evaluation Type

Distributed evaluation with final exam

Assessment Components

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

Calculation formula of final grade

Assignments : 40% of final mark;

Final exam: 60% of final mark.