Integrazione di codice tuProlog in linguaggi .NET approcci a confronto


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

Integrazione di codice tuProlog in linguaggi .NET approcci a confronto

— author

Fabio Gravina

Supervision

— supervisor

Enrico Denti

Sort

— cycle

second-cycle thesis

— status

completed thesis

— 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-2022 APICe@DISI Research Group - PRIVACY