Corso "Automatic Termination Analysis of Programs"
- Periodo
- May 6, 8, 13, 15 and 20, 2008
- URL
- http://personnel.univ-reunion.fr/fred/
- Docenti
- Nicola Fausto Spoto
Cicli in cui è offerta
- 21° ciclo
- 23° ciclo
- 22° ciclo
Descrizione
Analisi automatica di terminazione di programmi:
- Introduzione: motivazione, risultato di Turing e approccio di Floyd
- Invarianti di programma
- Funzioni di ranking
- Tecniche avanzate: il principio size-change e il principio polyranking
