Combinazione di tecniche di accelerazione del punto fisso con trasformazioni di dominio in analisi statica

  1. Home

Proposta di tesi

Combinazione di tecniche di accelerazione del punto fisso con trasformazioni di dominio in analisi statica

Garante
Roberto Giacobazzi
Corso di studi
Laurea in Informatica (vecchio ordinamento)

Descrizione

Tesi di ricerca di base sulla composizione di tecniche statiche (galois connections) e dinamiche (widening)
per l'analisi di programmi. Di particolare interesse e' lo sviluppo di metodologie formali per
il raffinamento/composizione/decomposizione di operatori di widening.

Offerta formativa

Condividi