To search, Click below search items.
All Published Papers Search Service
Title
An Approach to Slicing Concurrent Ada Programs Based on Program Reachability Graphs
Author
Xiaofang Qi, Baowen Xu
Vol. 6 No. 1 pp. 29~37
Keywords
dependence analysis, slice, Ada, concurrent programs, reachability analysis