Tesi etd-01242023-211458 |
Link copiato negli appunti
Tipo di tesi
Tesi di laurea magistrale
Autore
GAZZELLA, LORENZO
URN
etd-01242023-211458
Titolo
Design of the primitive for local variables in the LCL logic
Dipartimento
INFORMATICA
Corso di studi
INFORMATICA
Relatori
relatore Prof. Bruni, Roberto
Parole chiave
- interpretation
- abstract
Data inizio appello
24/02/2023
Consultabilità
Completa
Riassunto
This thesis investigates the ability to introduce a new variable in the novel LCL logic that combines under- and over-approximation. It outlines two new properties on the abstract domain as feasibility conditions, showing that they always hold on non-relational domains and proving the existence of relational domains for which they are not validated.
File
| Nome file | Dimensione |
|---|---|
| Thesis.pdf | 524.20 Kb |
Contatta l’autore |
|