Linguaggi di programmazione: Paradigmi distribuiti

Questo corso è la naturale prosecuzione del corso del III anno "Semantica, paradigmi e macchine astratte". Infatti lo scopo è di fornire le stesse competenze su linguaggi concorrenti, distribuiti e basati su agenti mobili. Tali linguaggi sono ormai largamente diffusi a causa dello sviluppo delle reti di calcolatori e di Internet che possono essere visti come ambienti di calcolo globali. Verranno anche illustrate le principali linee di ricerca attive nell'area e i loro possibili sviluppi fornendo quindi allo studente un panorama dei possibili sbocchi professionali che le competenze fornite dal corso possono offrire.

Programma del corso:

• Fondamenti della concorrenza, della distribuzione e della mobilità.
• Primitive di comunicazione a scambio di messaggi e a memoria condivisa.
• Evoluzione dei linguaggi di programmazione per sistemi complessi e distribuiti.
• Semantica operazionale strutturale dei principali costrutti.
• Relazioni tra linguaggi distribuiti e linguaggi imperativi e funzionali.
• Integrazione di distribuzione e filosofia di programmazione ad oggetti.
• Attività di ricerca sui linguaggi distribuiti e basati su agenti mobili. Relazioni con i problemi legati all'analisi di programmi (correttezza, sicurezza, verifica,..). Relazioni con le architetture distribuite (reti locali, Internet, sistemi multiprocessore).