Non-concurrency analysis
暂无分享,去创建一个
[1] Barbara G. Ryder,et al. Static Infinite Wait Anomaly Detection in Polynomial Time , 1990, ICPP.
[2] Stephen P. Masticola. Detecting deadlocks in the Ada accept...do and select constructs , 1990 .
[3] Mary Lou Soffa,et al. Concurrency analysis in the presence of procedures using a data-flow framework , 1991, TAV4.
[4] Ken Kennedy,et al. Analysis of event synchronization in a parallel programming tool , 1990, PPOPP '90.
[5] Edsger W. Dijkstra,et al. Co-operating sequential processes , 1968 .
[6] Jaspal Subhlok,et al. Static analysis of low-level synchronization , 1988, PADD '88.
[7] Stephen P. Masticola,et al. Static detection of deadlocks in polynomial time , 1993 .
[8] Barbara G. Ryder,et al. A model of Ada programs for static deadlock detection in polynomial times , 1991, PADD '91.
[9] William E. Riddle,et al. Anomaly Detection in Concurrent Programs , 1979, ICSE.
[10] Richard N. Taylor,et al. A general-purpose algorithm for analyzing concurrent programs , 1983, CACM.
[11] Narain H. Gehani,et al. Concurrent C , 1986, Softw. Pract. Exp..
[12] Jeffrey D. Ullman,et al. Global Data Flow Analysis and Iterative Algorithms , 1976, J. ACM.
[13] Lori A. Clarke,et al. Data flow analysis of concurrent systems that use the rendezvous model of synchronization , 1991, TAV4.