Integrazione di codice tuProlog in linguaggi .NET approcci a confronto
| |
|
|
@mastersthesis{pjdotnet,
abstract = {tuProlog \`{e} un interprete Prolog scritto in Java, di cui \`{e} 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 \`{e} investigare in profondit\`{a} 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.},
author = {Fabio Gravina},
available = {2011-03-03},
contact = {Denti, Enrico},
cycle = {LM},
language = {it},
month = dec,
start = {2012-02-23},
supervisor = {Denti, Enrico},
title = {Integrazione di codice tuProlog in linguaggi .NET approcci a confronto},
type = {Master's thesis},
year = 2012
}
abstract = {tuProlog \`{e} un interprete Prolog scritto in Java, di cui \`{e} 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 \`{e} investigare in profondit\`{a} 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.},
author = {Fabio Gravina},
available = {2011-03-03},
contact = {Denti, Enrico},
cycle = {LM},
language = {it},
month = dec,
start = {2012-02-23},
supervisor = {Denti, Enrico},
title = {Integrazione di codice tuProlog in linguaggi .NET approcci a confronto},
type = {Master's thesis},
year = 2012
}