Files in this item

FilesDescriptionFormat

application/pdf

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

Description

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
Degree:Ph.D.
Genre:Dissertation
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
Type:Text
Language:English
Description:139 p.
Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2007.
URI:http://hdl.handle.net/2142/81762
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