Task dependence nets for concurrent systems with Ada 95 and its applications

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Task dependence nets for concurrent systems with Ada 95 and its applications

Full text

Pdf (1.56 MB)

Source

Annual International Conference on Ada archive
Proceedings of the conference on TRI-Ada '97 table of contents

St. Louis, Missouri, United States

Pages: 67 - 78

Year of Publication: 1997

ISBN:0-89791-981-5

Author

Jingde Cheng

Department of Computer Science and Communication Engineering, Kyushu University, 6-10-1 Hakozaki, Fukuoka 812-81, Japan

Sponsors

Ada Europe : Ada Europe
SIGADA: ACM Special Interest Group on Ada Programming Language
SIGSOFT: ACM Special Interest Group on Software Engineering
SIGPLAN: ACM Special Interest Group on Programming Languages
SIGCSE: ACM Special Interest Group on Computer Science Education

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 12, Citation Count: 2

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/269629.269637 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Utpal K. Banerjee, Dependence Analysis, Kluwer Academic Publishers, Norwell, MA, 1996
	2	John Barnes, Programming in Ada95, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1995
	3	Samuel Bates , Susan Horwitz, Incremental program testing using program dependence graphs, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.384-396, March 1993, Charleston, South Carolina, United States [doi>10.1145/158511.158694]
	4	Jon Beck , David Eichmann, Program and interface slicing for reverse engineering, Proceedings of the 15th international conference on Software Engineering, p.509-518, May 17-21, 1993, Baltimore, Maryland, United States
	5	Alan Burns , Andy Wellings, Concurrency in Ada, Cambridge University Press, New York, NY, 1995
	6	L Cheng, "Process Dependence Net: A Concurrent Program Representation," Prec. JSSST 8th Conference, pp. 513-516, 1991.
	7	Jingde Cheng, Task dependence net as a representation for concurrent Ada programs, Proceedings of the 11th Ada-Europe international conference on Ada: moving towards 2000, p.150-164, January 1992, Zandvoort, The Netherlands
	8	Jingde Cheng, The Task Dependence Net in Ada software development, ACM SIGAda Ada Letters, v.XII n.4, p.24-35, July/Aug. 1992 [doi>10.1145/146543.146545]
	9	J. Cheng, "Process Dependence Net of Distributed Programs and Its Applications in Development of Distributed Systems," Prec. IEEE- CS 17th Annual International Computer Software & AppTfications Conference, pp. 231-240, 1993.
	10	Jeanne Ferrante , Karl J. Ottenstein , Joe D. Warren, The program dependence graph and its use in optimization, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.3, p.319-349, July 1987 [doi>10.1145/24039.24041]
	11	Keith Brian Gallagher , James R. Lyle, Using Program Slicing in Software Maintenance, IEEE Transactions on Software Engineering, v.17 n.8, p.751-761, August 1991 [doi>10.1109/32.83912]
	12	Susan Horwitz , Thomas Reps, The use of program dependence graphs in software engineering, Proceedings of the 14th international conference on Software engineering, p.392-411, May 11-15, 1992, Melbourne, Australia [doi>10.1145/143062.143156]
	13	International Organization for Standardization: lnformalioa Technology -- Programming Languag~ - Ada, ISO/IEC 8652:1995(E), 1995.
	14	Yoshiaki Kasahara , Yoshinari Nomura , Masayuki Kamachi , Jingde Cheng , Kazuo Ushijima, An Integrated Support Environment for Distributed Software Development based on Unified Program Representations, Proceedings of the Second Asia Pacific Software Engineering Conference, p.254, December 06-09, 1995
	15	Y. Kasahara, L Cheng, and K. UsM~ima, "Task Dependence Net of Concurrent Ada Programs and Its Automatic Generattott," Transactions of IEICE, Vol. J79-D-I, No. 11, pp. 925-935, 1996 On Japanese).
	16	Bogdan Korel, The program dependence graph in static program testing, Information Processing Letters, v.24 n.2, p.103-108, January 1987 [doi>10.1016/0020-0190(87)90102-5]
	17	Bogdan Korel, Computation of Dynamic Program Slices for Unstructured Programs, IEEE Transactions on Software Engineering, v.23 n.1, p.17-34, January 1997 [doi>10.1109/32.581327]
	18	D. J. Kuck , R. H. Kuhn , D. A. Padua , B. Leasure , M. Wolfe, Dependence graphs and compiler optimizations, Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.207-218, January 26-28, 1981, Williamsburg, Virginia [doi>10.1145/567532.567555]
	19	Joseph P. Loyall , Susan A. Mathisen, Using Dependence Analysis to Support the Software Maintenance Process, Proceedings of the Conference on Software Maintenance, p.282-291, September 01, 1993
	20	Louise E. Moser, Data Dependency Graphs for Ada Programs, IEEE Transactions on Software Engineering, v.16 n.5, p.498-509, May 1990 [doi>10.1109/32.52773]
	21	Karl J. Ottenstein , Linda M. Ottenstein, The program dependence graph in a software development environment, Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.177-184, April 1984
	22	A. Podgurski , L. A. Clarke, A Formal Model of Program Dependences and its Implications for Software Testing, Debugging, and Maintenance, IEEE Transactions on Software Engineering, v.16 n.9, p.965-979, September 1990 [doi>10.1109/32.58784]
	23	F. Tip, "A Survey of Program Slicing Techniques," Journal of Programming Languages,. Vol. 3, pp. 121-189, 1995.
	24	Mark Weiser, Programmers use slices when debugging, Communications of the ACM, v.25 n.7, p.446-452, July 1982 [doi>10.1145/358557.358577]
	25	M. Weiser, "Program Slicing," IEEE-CS Transactions on Software Engineering, Vol. SE-10, No. 4, pp. 352-357', 1984,

CITED BY 2

	Zhenqiang Chen , Baowen Xu , Jianjun Zhao, An overview of methods for dependence analysis of concurrent programs, ACM SIGPLAN Notices, v.37 n.8, August 2002
	Baowen Xu , Ju Qian , Xiaofang Zhang , Zhongqiang Wu , Lin Chen, A brief survey of program slicing, ACM SIGSOFT Software Engineering Notes, v.30 n.2, March 2005