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 ...