PhD in Computer Science (last activated in 2013)

Course partially running (all years except the first)

Corso "Automatic Termination Analysis of Programs"

Period
May 6, 8, 13, 15 and 20, 2008

URL
http://personnel.univ-reunion.fr/fred/

Academic staff
Nicola Fausto Spoto

Series to which this belongs

21° ciclo
22° ciclo
23° ciclo

Description

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

Attachments

Documents