Detecting dead statements for concurrent programs

Proceedings - 1st IEEE International Workshop on Source Code Analysis and Manipulation

Volumn , Issue , 2001, Pages 65-72

  Chen, Zhenqiang ^a   Xu, Baowen ^a,b   Yang, Hongji ^c  

^a SOUTHEAST UNIVERSITY   (China)

^b WUHAN UNIVERSITY   (China)

^c DE MONTFORT UNIVERSITY   (United Kingdom)

Author keywords

concurrent program flow graph; dead statements; MHP algorithm; rendezvous

Indexed keywords

FLOW GRAPHS; GRAPHIC METHODS;

CONCURRENT CONTROL; CONCURRENT PROGRAM; DATA FLOW; DEAD STATEMENTS; PROGRAM BEHAVIOR; RENDEZVOUS;

CONCURRENCY CONTROL;

EID: 84963850935     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCAM.2001.972667     Document Type: Conference Paper

References (14)

1. D. Callahan and J. Subhlok. Static analysis of low level synchronization. In Proceedings of the SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, 100-111, 1988
2. X. Chen and Z. Gao, Static Detection of Ada Task Deadlock with Petri Net. Journal of Computer Research and Development China 1997, 34(Suppl.): 138-142.
3. Z. Chen and B. Xu. Dependence Analysis and Static Slices of Concurrent Programs. ICYCS'99, Nanjing, China, 239-242
4. Z. Chen and B. Xu. Detecting All Pairs of Statements in Parallel Programs, NCYCS'2000, Nanjing, China, 265-269
5. Z. Chen, B. Xu and et al. An Approach to Analysing Dependency of Concurrent Programs. IEEE APAQS'2000, Hongkong, 34-39
6. Z. Chen and B. Xu, Slicing Concurrent Java Programs. ACM SIGPLAN Notices, 2001, to Appear
7. E. Duesterwald et al. Concurrency analysis in the presence of procedures using a data flow framework. In Proceedings of the ACM SIGSOFT Fourth Workshop on Software Testing, Analysis, and Verification, pages 36-48, Victoria, B.C., October 1991.
8. ISO/IEC 8652:1995(E). Ada Reference Manual-Language and Standard Libraries.1995
9. J. Krinke. Static Slicing of Threaded Programs. ACM SIGPLAN Notices, 33(7): 35-42, 1998
10. th Symposium on Principles and Practices of Parallel Programming, San Diego, CA, May 1993
11. G. Naumovich, G.S. Avrunin. A Conservative Data Flow Algorithm for Detecting all Pairs of Statements that may Happen in Parallel, ACM Press, Proceedings of the 6th International Symposium on the Foundations of Software Engineering, 24-34, November 1998
12. G. Naumovich, S. Avrunin, et al. An Efficient Algorithm for computing MHP Information for Concurrent Java Programs. ESEC/FSE '99. pp. 338-354, September 1999
13. R. N. Taylor. Complexity of analyzing the synchronization structure of concurrent programs. Acta Informatica, 19:57-84, 1983
14. B. Xu. Reverse Program flow Dependency Analysis and Applications. Chinese J. Computers, 16(5): 385-392, 1993