Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach

139 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2007.In the static category, the focus of this work is to provide an appropriate notion of static abstraction for concurrent programs, called control net, based on Petri nets which is used to show how two very important static analyses problems in the context of concurrency, namely atomicity and dataflow analyses can be defined for the partially-ordered runs generated by the control net, and how clean algorithmic solutions can be provided to solve these problems. Experimental results suggest that these solutions are feasible in practice.U of I OnlyRestricted to the U of I community idenfinitely during batch ingest of legacy ETD