Gestione della tail recursion in tuProlog

Silvia Umiliacchi

L'interprete tuProlog dispone, nella versione attuale, di una implementazione della "Tail Recursion Optimisation" (TRO) imperfetta, che non permette di conseguire tutto il guadagno di ottimizzazione possibile. Partendo da un'analisi preliminare già effettuata, l'obiettivo di questa tesi consiste perciò nell'identificare i cambiamenti da apportare al motore di tuProlog per supportare pienamente la TRO, applicarli e provvedere a un adeguato collaudo, così da giungere al rilascio di una nuova versione di tuProlog che incorpori stabilmente tale miglioramento.

Thesis

— thesis student

Silvia Umiliacchi

supervision

— supervisors

Enrico Denti

— co-supervisors

Andrea Omicini

sort

— cycle

second-cycle thesis

— status

completed thesis

— language

wit.gif

dates

— available since

01/02/2010

— activity started

17/05/2011

— degree date

03/10/2011

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY