Ferrara, Pietro <1981>
(Università Ca' Foscari Venezia, 2009-05-22)
The goal of this thesis is to present a generic static analysis of Java multithreaded programs.
Multithreaded programs execute many task, called threads, in parallel. Threads communicate through the shared memory implicitly, ...