Supporto alla programmazione generica nel compilatore ILDJIT

L'interesse per nuovi paradigmi di programmazione e per la compilazione dinamica è cresciuto negli ultimi anni; in particolare, hanno avuto grande sviluppo i paradigmi derivanti dal concetto di meta-programmazione, dove la programmazione generica ne è un esempio. La programmazione generica nasce come soluzione per sviluppare algoritmi o contenitori parametrici, ricercando i requisiti minimi che i parametri devono rispettare per un implementazione efficiente. Con lo standard internazionale ECMA-335, introdotto nel 2006, si è definita l'infrastruttura Common Language Infrastructure (CLI) per la compilazione dinamica includendo il supporto alla programmazione generica semplificandone l'integrazione nei linguaggi di alto livello. L'obbiettivo della tesi è integrare il supporto alla programmazione generica all'interno del compilatore ILDJIT, un implementazione dello standard ECMA-335, studiando gli effetti dell'integrazione su una macchina virtuale.