JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.advisor | Cortesi, Agostino | it_IT |
| dc.contributor.author | Presotto, Sofia <1998> | it_IT |
| dc.date.accessioned | 2024-06-16 | it_IT |
| dc.date.accessioned | 2024-11-13T09:41:11Z | |
| dc.date.available | 2024-11-13T09:41:11Z | |
| dc.date.issued | 2024-07-08 | it_IT |
| dc.identifier.uri | http://hdl.handle.net/10579/26887 | |
| dc.description.abstract | This work presents the formal definition and implementation though the LiSA library for static analysis of the Stability abstract domain. The aim is to produce a static analyser able to inferr Covariance and Contravariance of variables of a program trough abstract interpreation. To do so we develop the Stability abstract domain for tracking the trend of variables troughout the program. | it_IT |
| dc.language.iso | en | it_IT |
| dc.publisher | Università Ca' Foscari Venezia | it_IT |
| dc.rights | © Sofia Presotto, 2024 | it_IT |
| dc.title | Stability Abstract Domain: determining Covariance or Contravariance trough Static Analysis | it_IT |
| dc.title.alternative | Stability Abstract Domain: determining Covariance or Contravariance trough Static Analysis | it_IT |
| dc.type | Master's Degree Thesis | it_IT |
| dc.degree.name | Informatica - computer science | it_IT |
| dc.degree.level | Laurea magistrale | it_IT |
| dc.degree.grantor | Dipartimento di Scienze Ambientali, Informatica e Statistica | it_IT |
| dc.description.academicyear | sessione_estiva_2023-2024_appello_08-07-24 | it_IT |
| dc.rights.accessrights | openAccess | it_IT |
| dc.thesis.matricno | 870762 | it_IT |
| dc.subject.miur | INF/01 INFORMATICA | it_IT |
| dc.description.note | it_IT | |
| dc.degree.discipline | it_IT | |
| dc.contributor.co-advisor | it_IT | |
| dc.date.embargoend | it_IT | |
| dc.provenance.upload | Sofia Presotto (870762@stud.unive.it), 2024-06-16 | it_IT |
| dc.provenance.plagiarycheck | Agostino Cortesi (cortesi@unive.it), 2024-07-08 | it_IT |
