No coin nor oath required. For personal study only.
Static analysis of concurrent languages is a complex task due to the non-deterministic execution of processes. If the concurrent language being studied allows process synchronization, then the analyses are even more complex (and thus expensive), e.g., due to the phenomenon of deadlock. In this work we introduce a static analysis technique based on program slicing for concurrent and explicitly synchronized languages in general, and CSP in particular. Concretely, given a particular point in a specification, our technique allows us to know what parts of the specification must necessarily be executed before this point, and what parts of the specification could be executed before it. Our technique is based on a new data structure that extends the Synchronized Control Flow Graph (SCFG). We show that this new data structure improves the SCFG by taking into account the context in which processes are called and, thus, it makes the slicing process more precise. The technique has been implemented and tested with real specifications, producing good results. After formally defining our technique, we describe our tool, its architecture, its main applications and the results obtained from several experiments conducted in order to measure the performance of the tool. © 2012 Elsevier Inc. All rights reserved.
📜 SIMILAR VOLUMES
What happens when two shy children meet at a very crowded pool? Dive in to find out! Deceptively simple, this masterful book tells a story of quiet moments and surprising encounters, and reminds us that friendship and imagination have no bounds.
Indrek Hargla uus romaan viib lugeja alternatiiv-ajaloolisesse 16. sajandi alguse Euroopasse. See on maailm, milles pole keiser Karl V-ndat. Hiljuti on lõppenud viimane, Andaluusia Ristisõda. Põhjas koondab keiser Ferdinand jõude oma peapiiskop Martin Lutheri õhutusel. Usupuhastust viib läbi fanaati
**Award-winning author Juliet Marillier "weaves magic, mythology, and folklore into every sentence on the page" (The Book Smugglers). Now she begins an all-new and enchanting series that will transport readers to a magical vision of ancient Ireland....** In exchange for help escaping her long