Proposte di tesi


Runtime verification and monitoring oriented programming

Type analysis for object-oriented languages

Coinductive programming

Linguaggi modulari tipati staticamente per l'adattamento dinamico del codice


Back to previous page

Please send suggestions and comments to:
Davide Ancona davide.ancona@unige.it

Last Updated: October, 2016