Schema della sezione
-
Data 27/11/2018 Titolo Logica di Hoare: Introduzione Argomenti - Linguaggio imperativo minimo: sintassi con grammatica BNF
- Stato di un programma
- Semantica delle espressioni
- Significato informale dei comandi
- Asserzioni: soddisfazione di un'asserzione in uno stato
- Definizione di Triple di Hoare: definizione di tripla soddisfatta
- Interpretazione di triple di Hoare: semantica, correttezza, specifica
Materiale didattico - [LdH], fino a pag 16.
Lucidi LPP-2018-14.pdf