Inserire una breve descrizione delle modifiche fatte
Minor changes are by default collapsed in the page history.
No changes
The page does not exist yet.
Failed to load changes
Version by on
Leave Collaboration
Are you sure you want to leave the realtime collaboration and continue editing alone? The changes you save while editing alone will lead to merge conflicts with the changes auto-saved by the realtime editing session.
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.
