Corso di TAMC - Laboratorio di Informatica I
Docente: professor Catuscia
Palamidessi
Descrizione del Corso
Il corso di TAMC comprende tutti gli argomenti sviluppati nel corso di
Programmazione, piu' i seguenti
argomenti
-
Scoping: dinamico (oltre che statico)
-
Correttezza dinamica dei programmi. Stile asserzionale (alla Hoare) e weakest
precondition (alla Dijkstra)
-
Linguaggio assembler (PDP11)
Materiale didattico
-
Per la parte in comune con Programmazione: Dispense
prodotte dai docenti.
-
Per la parte di Correttezza dinamica: Appunti delle lezioni, fotocopie
delle slides prodotte dalla docente.
-
Per la parte di Assembler: "Introduzione alla Programmazione", di Carlo
Montangero e Franco Turini, pubblicato dalla Boringhieri.
-
Per la parte di Pascal (laboratorio) "Introduzione al Pascal", di Jim Welsh
e John Elder, pubblicato dalla ESA (Edizioni Scientifiche Associate).