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