logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-01242023-211458


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
  • abstract
  • interpretation
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