Essays about: "Matteo Settenvini"
Found 1 essay containing the words Matteo Settenvini.
-
1. Algorithmic Analysis of Name-Bounded Programs : From Java programs to Petri Nets via π-calculus
University essay from Blekinge Tekniska Högskola/Institutionen för programvaruteknikAbstract : Context. Name-bounded analysis is a type of static analysis that allows us to take a concurrent program, abstract away from it, and check for some interesting properties, such as deadlock-freedom, or watching the propagation of variables across different components or layers of the system. Objectives. READ MORE
Result pages:
1