Files in this item



application/pdf3269892.pdf (6MB)Restricted to U of Illinois
(no description provided)PDF


Title:Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach
Author(s):Farzan, Azadeh
Doctoral Committee Chair(s):Meseguer, José
Department / Program:Computer Science
Discipline:Computer Science
Degree Granting Institution:University of Illinois at Urbana-Champaign
Subject(s):Computer Science
Abstract: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.
Issue Date:2007
Description:139 p.
Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2007.
Other Identifier(s):(MiAaPQ)AAI3269892
Date Available in IDEALS:2015-09-25
Date Deposited:2007

This item appears in the following Collection(s)

Item Statistics