Proposte di tesi
Runtime verification and monitoring oriented programming
- Studio e sperimentazione di Jalangi
- Studio e sperimentazione di Java MOP
- Specifica del comportamento di oggetti della Java API (
java.util.Iterator
, java.util.stream
,...)
- Specifica di protocolli comunemente utilizzati in vari ambiti (Internet of Things, Sicurezza, Sistemi Multi-Agente, ...)
- Studio di linguaggi di specifica per runtime verification [AnconaFerrandoMascardiLNCS2016]
- Interoperabiltà tra JavaScript e SWI-Prolog
Type analysis for object-oriented languages
Coinductive programming
- Studio implementazione prototipale meta-interprete SWI-Prolog con esempi
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