| Argomento | Persone | Descrizione |
|---|---|---|
| Semantica di programmi |
Mila Dalla Preda
Isabella Mastroeni Michele Pasqua Nicola Fausto Spoto |
Studio di tecniche e modelli semantici per la caratterizzazione di problemi di analisi e di sicurezza nei linguaggi di programmazione. |
| Semantica di sistemi concorrenti, distribuiti e mobili |
Massimo Merro
|
Semantica operazionale per linguaggi concorrenti, distribuiti e con mobilità di codice e/o agenti. Tecniche di specifica e di verifica del buon comportamento di tali sistemi. |
© 2025 | Verona University
******** CSS e script comuni siti DOL - frase 9957 ********
