Fabio Gravina

tuProlog è un interprete Prolog scritto in Java, di cui è stata realizzata una versione prototipale per la piattaforma Microsoft .NET tramite IKVM, uno strumento di traduzione automatica del bytecode Java. Tale traduzione include il porting del componente P@J della versione tuProlog4Java, che consente di esprimere inline in Prolog il body di un metodo java. Obiettivo di questa tesi è investigare in profondità analogie e differenze dell'iniezione di codice Prolog nei linguaggi disponibili su piattaforma .NET, con particolare riguardo all'inferenza dei tipi e al necessario, conseguente ampio collaudo.

Tags: tuProlog .NET
    

Thesis

Supervision

— supervisor
Enrico Denti

Category

2nd-Cycle Thesis

Status

completed

Language

wit.gif

Dates

— available since
03/03/2011
— activity started
23/02/2012
— degree date
19/12/2012

Files

PDF
slides

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