| Argomento | Persone | Descrizione |
|---|---|---|
| Semantica di programmi |
Mila Dalla Preda
Roberto Giacobazzi Isabella Mastroeni Ugo Solitro Nicola Fausto Spoto |
Studio di tecniche di modelli semantici per la caratterizzazione di problemi di analisi e di sicurezza nei linguaggi di programmazione. |
| Semantics of concurrent, distributed, and mobile systems |
Massimo Merro
|
Semantica operazionali per linguaggi concorrenti, distribuiti e con mobilita' di codice e/o agenti. Tecniche di specifica di verifica del buon comportamento di tali sistemi. |
| Semantics of Probabilistic Languages |
Alessandra Di Pierro
Margherita Zorzi |
Costruzione di semantiche operazionali e denotazionali per linguaggi probabilistici mediante algebre lineari e astratte. |
© 2023 | Università degli studi di Verona
CSS e script comuni siti DOL - frase 9957
