Browsing Università Ca' Foscari Venezia by Subject "Type systems"

DSpace/Manakin Repository

Browsing Università Ca' Foscari Venezia by Subject "Type systems"

Sort by: Order: Results:

  • Information extraction by type analysis 
    Spanò, Alvise <1977> (Università Ca' Foscari Venezia, 2013-04-19)
    This thesis investigates an alternative use of type reconstruction, as a tool for extracting knowledge from programs written in weakly typed language. We explore this avenue along two different, but related directions. In ...
  • Static verification and enforcement of authorization policies 
    Calzavara, Stefano <1985> (Università Ca' Foscari Venezia, 2013-04-19)
    La tesi affronta il problema della verifica e dell'imposizione di politiche di autorizzazione tramite tecniche di analisi statica. I contributi principali sono tre: una semantica formale per grsecurity, che permette di ...