IEEE - Institute of Electrical and Electronics Engineers, Inc. - Detecting dead statements for concurrent programs

Proceedings First IEEE International Workshop on Source Code Analysis and Manipulation

Author(s): Zhenqiang Chen ; Baowen Xu ; Hongji Yang
Sponsor(s): IEEE
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2001
Conference Location: Florence, Italy, Italy
Conference Date: 10 November 2001
Page Count: 8
Page(s): 65 - 72
ISBN (Paper): 0-7695-1387-5
DOI: 10.1109/SCAM.2001.972667
Regular:

With more and more concurrent programs being used in practice, technique and tools to analyze such programs are urgently needed. Due to the schedule, race conditions and synchronization among... View More

Advertisement