Stagione 68: Semantica operazionale
Cos'e' il significato di un programma? La semantica operazionale lo definisce descrivendo come viene eseguito, passo per passo: stato e passo, le regole del gioco, gli esiti di un'esecuzione, i tipi come promessa. Seguito diretto della stagione sui compilatori: se il compilatore preserva il significato, qui scopriamo cos'e' il significato. Capire e' eseguire.
Episodi
10 episodi
Capire e' eseguire
Capire e' eseguire: si chiude il cerchio con i compilatori, l'intuito e' esecuzione di regole...
Quanta teoria ti serve?
Quanta formalizzazione serve a un dev: le tre scuole e la dose giusta di teoria...
A cosa serve davvero
A cosa serve: definire un linguaggio, costruire interpreti, dimostrare, ragionare sul codice...
La promessa dei tipi
I tipi come promessa sulla semantica: i programmi ben tipati non si incastrano...
Quando le regole lasciano scegliere
Non-determinismo: quando le regole lasciano scegliere, tra ordine di valutazione e concorrenza...
Quando il gioco si inceppa
I tre destini di un'esecuzione, lo stallo come errore, e i punti dove le regole tacciono...
Piccoli passi, grandi passi
Piccoli passi e grandi passi: il rallentatore o il risultato, due lenti sulla stessa esecuzione...
Le regole del gioco
Le regole di transizione: data una situazione, ecco la mossa; valutare e' ridurre un pezzo alla volta...
Stato e passo
L'anatomia di un'esecuzione: lo stato, la fotografia di un istante, e il passo, la mossa...
Che cosa significa un programma?
Da S67 al significato: il significato di un programma e' come si esegue, e lo fai gia' a mente...