Linguaggi di Programmazione – Cagliari

Università degli Studi di Cagliari · Scienze · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Massimo Bartoletti Canale unico

Corso di laurea: Informatica – sede di Cagliari · Laurea triennale (L-31) · 3º anno · 1º semestre · 9 CFU

Cagliari · Scienze · 9 CFU · apri nel catalogo · Informatica – sede di Cagliari · 3º anno · 1º semestre ›

Il docente indica 2 testi · da studiare tutti

Winskel – La semantica formale dei linguaggi di Programmazione Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Pierce – Types and Programming Languages Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: Il corso si articola in 48 ore di lezioni teoriche e 36 ore di attività di laboratorio. I contenuti teorici riguardano i principali concetti e metodi per la descrizione, l'analisi e l'implementazione dei linguaggi di programmazione, con particolare riferimento ai seguenti temi: * sintassi e semantica dei linguaggi di programmazione; * semantica operazionale e modellazione dell'esecuzione dei programmi; *…

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Linguaggi di Programmazione negli altri atenei

Linguaggi di Programmazione – Bari · Linguaggi di Programmazione – Brescia · Linguaggi di Programmazione – Genova · Linguaggi di Programmazione – Politecnica delle Marche · Linguaggi di Programmazione – Sapienza · Linguaggi di Programmazione – Bologna · Linguaggi di Programmazione – Statale di Milano