FONDAMENTI E LINGUAGGI PER LA PROGRAMMAZIONE DISTRIBUITA

Conoscenza di base delle basi teoriche della programazione concorrente e distribuita.

Capacita' di comprensione del significato degli aspetti teorici della programmazione concorrente e distribuita.

Capacita' di utilizzare nozioni teoriche nella comune pratica di programmazione concorrente e distribuita.

Capacita' di valutare, giudicare ed utilizzare linguaggi, metodologie e tecniche per la programmazione concorrente e distribuita nel contesto piu' generale ed astratto delle teorie fondazionali.

Non obbligatoria.

• Concurrent and distributed programming in non-imperative programming paradigms. Introduction to Functional Programming.
• Main functional-programming concepts: Order of evaluation, Recursion; Higher-order functions; Anonymous functions; Curryfication; Lists; Recursion; Correctness proofs.
• Short review of the Lambda-calculus
• Types for functional programming.
• Introduction to Haskell; Polymorphic types; Pattern Matching; Type Classes. Infinite structures.
• Tail recursion
• The actors model of concurrent programming; A Concurrent functional language: Erlang
• Concurrent Programming in Erlang
• Process calculi: Introduction to the Pi-calculus;.
• Process calculi: Sketchy introduction to contextual equivalence and bisimulation
• Introduction to the PICT language; Core Pict.
• Overview of Session Types.
• Session and Refinement Types: the language SePi.
• Introduction to Scribble
• An experimental language with multiparty session types
• Overview of process calculi for distributed programming.
• Basics of distributed programming in Erlang.

http://www.dmi.unict.it/~barba/FOND-LING-PROG-DISTR/PROGRAMMI-TESTI/programmaAAcorrente.html

Scritto e orale.

No.

http://www.dmi.unict.it/~barba/FOND-LING-PROG-DISTR/ESAMI/modalita.html

http://www.dmi.unict.it/~barba/FOND-LING-PROG-DISTR/ESERCIZI/index.html