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.

Tesi

Gestione della tail recursion in tuProlog

— autore o autrice

Silvia Umiliacchi

Supervisione

— relatore o relatrice

Enrico Denti

— correlatore o correlatrice

Andrea Omicini

Tipo

— livello

tesi di laurea magistrale

— stato

tesi completata

— lingua

wit.gif

Date

— disponibile da

01/02/2010

— iniziata il

17/05/2011

— data di laurea

03/10/2011

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY