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

  1. Home

theses proposal

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

Guarantor
Roberto Giacobazzi
Study courses
Bachelor in Computer Science (old system)

Description

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.

Studying

Share