An Approach to Analyzing Dependency of Concurrent Programs

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Zhenqiang Chen Articles by Baowen Xu Articles by Hongji Yang Articles by Kecheng Liu Articles by Jianping Zhang

The First Asia-Pacific Conference on Quality Software (APAQS'00)

Hong Kong, China

October 30-October 31

ISBN: 0-7695-0825-1

	ASCII Text	x
	Zhenqiang Chen, Baowen Xu, Hongji Yang, Kecheng Liu, Jianping Zhang, "An Approach to Analyzing Dependency of Concurrent Programs," Asia-Pacific Conference on Quality Software, pp. 39, The First Asia-Pacific Conference on Quality Software (APAQS'00), 2000.

	BibTex	x
	@article{ 10.1109/APAQ.2000.883776, author = {Zhenqiang Chen and Baowen Xu and Hongji Yang and Kecheng Liu and Jianping Zhang}, title = {An Approach to Analyzing Dependency of Concurrent Programs}, journal ={Asia-Pacific Conference on Quality Software}, volume = {0}, year = {2000}, isbn = {0-7695-0825-1}, pages = {39}, doi = {http://doi.ieeecomputersociety.org/10.1109/APAQ.2000.883776}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Asia-Pacific Conference on Quality Software TI - An Approach to Analyzing Dependency of Concurrent Programs SN - 0-7695-0825-1 SP EP A1 - Zhenqiang Chen, A1 - Baowen Xu, A1 - Hongji Yang, A1 - Kecheng Liu, A1 - Jianping Zhang, PY - 2000 KW - concurrent program flow graph KW - concurrent program dependency graph KW - synchronal dependency VL - 0 JA - Asia-Pacific Conference on Quality Software ER -

Zhenqiang Chen, Southeast University

Baowen Xu, Southeast University

Hongji Yang, De Montfort University

Kecheng Liu, Staffordshire University

Jianping Zhang, Utah State University

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APAQ.2000.883776

Dependency analysis is an important approach to testing, understanding, maintaining and transforming concurrent programs. However, because the execution process of concurrent programs is unpredictable, there are many problems to be solved when carrying out dependency analysis. In this paper, we propose some models for constructing concurrent program flow graph and concurrent program dependency graph for Ada programs, and based on these models, present a dependency analysis algorithm.

Index Terms:

concurrent program flow graph, concurrent program dependency graph, synchronal dependency

Citation:

Zhenqiang Chen, Baowen Xu, Hongji Yang, Kecheng Liu, Jianping Zhang, "An Approach to Analyzing Dependency of Concurrent Programs," apaqs, pp.39, The First Asia-Pacific Conference on Quality Software (APAQS'00), 2000

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.