Gestione della tail recursion in tuProlog
- Manage
- Copy
- Actions
- Export
- Annotate
- Print Preview
Choose the export format from the list below:
- Office Formats (1)
-
Export as Portable Document Format (PDF) using the Web Browser
-
- Other Formats (2)
-
-
Export as HyperText Markup Language (HTML)
-
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. |
Theses / Personal
Thesis
— thesis student
Silvia Umiliacchi
supervision
— supervisors
— co-supervisors
sort
— cycle
second-cycle thesis
— status
completed thesis
— language
dates
— available since
01/02/2010
— activity started
17/05/2011
— degree date
03/10/2011