Abstract
<em>ADPN (Asynchronous Dynamic Pushdown Networks) are an abstract model for concurrent programs with recursive procedures and dynamic thread creation. Usually, asynchronous dynamic pushdown networks are described with interleaving semantics, in which the backward analysis is not effective. In order to improve interleaving semantics, tree semantics approach was introduced. This paper extends the tree semantics to ADPN. Because the reachability problem of ADPN is also undecidable, we address the context-bounded reachability problem and provide an algorithm for backward reachability analysis with tree-based semantics Approach.</em>
Highlights
With development of multi-core processor, the research on concurrent program has become the focus of programming
This paper extends the tree semantics to ADPN
Because the reachability problem of ADPN is undecidable, we address the context-bounded reachability problem and provide an algorithm for backward reachability analysis with tree-based semantics Approach
Summary
With development of multi-core processor, the research on concurrent program has become the focus of programming. The concurrent program employs concurrent pushdown system or parallel procedure call for modeling, which two models, fail to well simulate program with dynamic thread creation. Bouajjani et al suggested in 2005 the DPN which are applicable to modeling of concurrent program containing recursive procedures or dynamic thread creation, yet its execution semantics is interleaving semantics, in which the backward reachability analysis is inefficient. Lammich et al suggested tree semantics for DPN to model execution of program as a tree, which more conforms to actual running of program, and they provided the reachability analysis means for dynamic pushdown networks under tree semantics yet without considering intercommunication of threads. Based on dynamic pushdown networks model, Bouajjani raised ADPN model, whose reachability problem, is undecidable and backward reachability on it is complicated.
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
