Libri UniversitariApri il catalogo

Glynn Winskel – The formal Semantics of Programming Languages

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

«Glynn Winskel – The formal Semantics of Programming Languages» è adottato per Models For Programming Paradigms dal prof. Roberto Bruni (Informatica – sede di Pisa – Pisa).

Glynn Winskel – The formal Semantics of Programming LanguagesCerca su Amazon ›

Come lo indica il docente: Glynn Winskel, “ The formal Semantics of Programming Languages ”, MIT Press, 1993. Chapters: 1.3, 2, 3, 4, 5, 8, 11

Titolo
The formal semantics of programming languages
Autori
Glynn Winskel
Editore
MIT press, 1993
ISBN
9780262231695

Chi lo adotta

Programma e testi di ogni canale

Models For Programming Paradigms – Prof. Roberto Bruni Canale unico

Corso di laurea: Informatica – sede di Pisa · Laurea magistrale (LM-18) · esame facoltativo · Foundations of Software · 9 CFU

Pisa · Dipartimento di Informatica · 9 CFU · apri nel catalogo · Informatica – sede di Pisa · 1º anno · 1º semestre ›

Testo principale

Bruni – Models of ComputationCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026

Letture opzionali consigliate

Glynn Winskel – The formal Semantics of Programming Languagesquesto libroCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Turini – La Semantica Formale dei Linguaggi di ProgrammazioneCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Robin Milner – Communication and ConcurrencyCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Luca Aceto et al., Reactive Systems , CambridgeCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Introduzione di cinque modelli computazionali differenti e studio delle loro proprietà formali principali (imperativo: IMP, funzionale: HOFL, processi concorrenti: CCS, calcoli con nomi: pi-calculus, sistemi probabilistici e stocastici: Segala automata e PEPA) accompagnati da principi di induzione e da metodi di dimostrazione.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Si studia insieme a