Fiches de cours 2017-2018

PDF
 

Foundations of software

CS-452

Enseignant(s) :

Odersky Martin

Langue:

English

Summary

The course introduces the foundations on which programs and programming languages are built. It introduces syntax, types and semantics as building blocks that together define the properties of a program part or a language. Students will learn how to apply these concepts in their reasoning.

Content

- simple types, lambda-calculus
- normalization, references, exceptions
- subtyping
- recursive types
- polymorphism
- advances features of the Scala type system

Learning Prerequisites

Recommended courses

Advanced topics in programming, Compiler construction

Important concepts to start the course

Functional programming

Basic knowledge of formal languages

Learning Outcomes

By the end of the course, the student must be able to:

Transversal skills

Teaching methods

Ex cathedra, practical exercises

Assessment methods

With continuous control

Resources

Ressources en bibliothèque
Websites

Dans les plans d'études

Semaine de référence

 LuMaMeJeVe
8-9     
9-10     
10-11 INM200CO020  
11-12   
12-13     
13-14     
14-15     
15-16     
16-17     
17-18     
18-19     
19-20     
20-21     
21-22     
 
      Cours
      Exercice, TP
      Projet, autre

légende

  • Semestre d'automne
  • Session d'hiver
  • Semestre de printemps
  • Session d'été
  • Cours en français
  • Cours en anglais
  • Cours en allemand