Corso: Fondamenti di Linguaggi di Programmazione
Argomento: Semantica Denotazione/Operazionale di un Linguaggio
IMP, Ordinamento Parziale Completo (CPO) (Teoria dei Domini) e Minimi Punti Fissi, Semantica Operazionale Lazy/Eager e Linguaggi Paralleli.
Autore: Murano Aniello, | Luca Paolini, Giulio Manzonetto, Ugo Solitro (Lambda calcolo)| Massimo Merro (Linguaggi concorrenti)
Università: Università degli Studi di Napoli Federico II.
http://people.na.infn.it/~murano/Fondamenti-old.htmlGiudizio: molto utile. Uniche slide che ho trovato, in cui si dice esplicitamente come collegare la Teoria dei Domini (CPO) e la Semantica Denotazione.
NOTE: le slide sono un collage di note del docente di quel corso e riferimenti al libro "The Formal Semantics of Programming Languages: An Introduction" di
Glynn Winskel (sul sito dell'autore c'è anche molto materiale in più), senza il libro non si possono comprendere a pieno gli argomenti, ma senza le note di questo docente (almeno con me) non si fa nulla con i capitoli 5 e 8 (fondamentale Slide della "Sesta Lezione").
PS: non utilizzate le nuove slide di quel corso, che non fanno vedere i simboli matematici corretti.
Lambda Calcolo - non tipatohttp://www.di.unito.it/~paolini/papers/laurea2.pshttp://www-lipn.univ-paris13.fr/~gmanzo ... esis.ps.gz...
NOTE: varie note e dispense sul Lambda Calcolo ed Informatica Teorica. Io le ho utilizzate solo per il λ-calcolo non tipato, e queste note sono le uniche che ho trovato in cui si parla di β−η-normalform o β−η-riduzione. Le ritengo valide essendo che riussumono molti argomenti e trattanto in modo approfondito molti teoremi fondamentali.
Libro SemanticaHanne Riis Nielson, Flemming Nielson.
Semantics with Applications: A Formal IntroductionWiley Professional Computing, 1992.
Linguaggi ConcorrentiPi-calcoloNote: slide semplici e chiare sulla sintassi e la semantica del π-calcolo.