Corso a esaurimento (attivi gli anni successivi al primo)

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

Allegati

Documenti

ornamento
Inizio pagina