Pierce – Types and Programming Languages

Name: Pierce – Types and Programming Languages
Author: Pierce

Libro adottato a Cagliari, a.a. 2026/2027 · 1 canale

«Pierce – Types and Programming Languages» è adottato per Linguaggi di Programmazione dal prof. Massimo Bartoletti (Informatica – sede di Cagliari – Cagliari).

Pierce – Types and Programming LanguagesCerca su Amazon ›

Come lo indica il docente: B. Pierce: Types and Programming Languages, MIT Press

Chi lo adotta

Linguaggi di Programmazione – Prof. Massimo Bartoletti (canale unico)Informatica – sede di Cagliari · Laurea triennale (L-31) · 3º anno · 1º semestre · 9 CFU

Programma e testi di ogni canale

Linguaggi di Programmazione – 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 Languagesquesto libroCerca 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.

Si studia insieme a

Winskel – La semantica formale dei linguaggi di Programmazione