2026-09-18T20:16:56Z https://www.ideals.illinois.edu/oai-pmh

oai:www.ideals.illinois.edu:2142/81762 2023-07-11 col_2142_5131 col_2142_10761 com_2142_5130 com_2142_10755 com_2142_234

139 p. Meseguer, José Farzan, Azadeh 2015-09-25T20:20:22Z 2015-09-25T20:20:22Z 10000-01-01 2007 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. Made available in DSpace on 2015-09-25T20:20:22Z (GMT). No. of bitstreams: 2 license.txt: 4848 bytes, checksum: 96035ab3f5e1c23cc7138a224ce498bd (MD5) 3269892.pdf: 5762130 bytes, checksum: 8b46f1f022c8b1440eb33c6d2f745ec0 (MD5) Previous issue date: 2007 Embargo set by: Seth Robbins for item 83043 Lift date: Forever Reason: Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs U of I Only Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2007. http://hdl.handle.net/2142/81762 (MiAaPQ)AAI3269892 eng Computer Science Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach text Computer Science Computer Science University of Illinois at Urbana-Champaign Dissertation Ph.D.