Emanuele Signorin
tuProlog è un interprete Prolog scritto in Java, attualmente giunto alla versione 2.6. Nonostante le migliorie già introdotte, alcuni bug emersi negli ultimi mese hanno evidenziato la necessità di un refactoring di alcune parti, da svolgersi in stretta correlazione con un'attività mirata di testing, onde addivenire a un prodotto finale di alta qualità per la distribuzione finale. Obiettivo di questa tesi è dunque effettuare il refactoring (con bug fixing e testing) nelle libreria JavaLibrary, migliorare le prestazioni di alcuni metodi e includere nell'architettura il nuovo componente SpyFrame (già disponibile) di supporto al debugging.
