Static dependency analysis for concurrent ada 95 programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2361, Issue , 2002, Pages 219-230

  Chen, Zhenqiang ^a   Xu, Baowen ^a,b   Zhao, Jianjun ^c   Yang, Hongji ^d  

^a SOUTHEAST UNIVERSITY   (China)

^b WUHAN UNIVERSITY   (China)

^c FUKUOKA INSTITUTE OF TECHNOLOGY   (Japan)

^d DE MONTFORT UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FLOW GRAPHS;

ADA PROGRAMS; ANALYSIS TECHNIQUES; CONCURRENT PROGRAM; DEPENDENCY ANALYSIS; DEPENDENCY RELATION; PROGRAM SOURCE CODES; STATIC DEPENDENCIES; TWO-GRAPHS;

ADA (PROGRAMMING LANGUAGE);

EID: 84957010606     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48046-3_17     Document Type: Conference Paper

References (23)

1. Blieberger, J., Burgstaller, B., Scholz, B.: Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs, in: Proceedings of Ada-Europe’2000, Potsdam, Germany, 2000, 225-237
2. Chen, Z., Xu, B.: Slicing Concurrent Java Programs. ACM SIGPLAN Notices, 2001, 36(4): 41-47.
3. Chen, Z., Xu, B., Yang, H.: Slicing Tagged Objects in Ada 95. in: Proceedings of AdaEurope 2001, LNCS, Springer-Verlag, 2001, 2043: 100-112.
4. Chen, Z., Xu, B., Yang, H.: Detecting Dead Statements for Concurrent Programs. in: Proceedings of SCAM 2001, IEEE CS Press. 65-72
5. Cheng, J.: Dependency Analysis of Parallel and Distributed Programs and Its Applications. International Conference on Advances in Parallel and Distributed Computing, IEEE CS Press, Shanghai, (1997) 370-377
6. Cheng, J.: Task Dependence Nets for Concurrent Systems with Ada 95 and Its Applications, ACM TRI-Ada International Conference, (1997) 67-78
7. Dillon, L.K.: Task Dependence and Termination in Ada. ACM Transactions on Software Engineering and Methodology, 1997, 6(1): 80-110
8. Ferrante, J., et al: The Program Dependence Graph and Its Use in Optimization. ACM Transactions on Programming Languages and Systems, 1987, 9(3): 319-349
9. Goswami, D., Mall, R., Chatterjee P.: Static Slicing in Unix Process Environment. Software--Practice and Experience, 2000,30(1): 17-36
10. Harrold, M.J., et al: Efficient Construction of Program Dependence Graphs. ACM International Symposium on Software Testing and Analysis, (1993) 160-170
11. Horwitz S., Reps T., Binkley D.: Inter-procedural Slicing using Dependence Graphs. ACM Transactions on Programming Languages and Systems, 1990, 12 (1): 26-60
12. ISO/IEC 8652:1995(E): Ada Reference Manual-Language and Standard Libraries.
13. Kamkar, M., Krajina, P.: Dynamic Slicing of Distributed Programs. International Conference on Software Maintenance, Nice, France, (1995) 222-229
14. Korel, B., Ferguson, R.: Dynamic Slicing of Distributed Programs. Applied Mathematics and Computer Science Journal, 1992, 2 (2): 199-215
15. Krinke, J.: Static Slicing of Threaded Programs. ACM SIGPLAN Notices, 1998, 33 (7): 35-42
16. Naumovich, G., Avrunin, G.S.: A Conservative Data Flow Algorithm for Detecting all Pairs of Statements That May Happen in Parallel. Proceedings of the 6th International Symposium on the Foundations of Software Engineering, (1998) 24-34
17. Podgurski, A., Clarke, L.A.: Formal Model of Program Dependencies and its Implications for Software Testing, Debugging and Maintenance. IEEE Transactions on software Engineering, 1990, 16 (9): 965-979
18. Xu, B.: Reverse Program Flow Dependency Analysis and Applications. Chinese Journal of Computers, 1993, 16 (5): 385-392
19. Xu, B., Chen, Z., Zhou, X.: Slicing Object-Oriented Ada95 Programs Based on Dependence Analysis. Journal of Software, 2001,12 (Suppl.): 208-213
20. Xu, B., Zhang, T., Chen, Z.: Dependence Analysis of Recursive Subprograms and Its Applications. Chinese Journal of Computers, 2001, 24 (11): 1178-1184.
21. Yang, H., Xu, B.: Design and Implementation of A PSS/ADA Program Slicing System. Chinese J. Computer Research and Development, 1997, 34 (3): 217-222
22. Zhao, J.: Slicing Concurrent Java Programs. 7th IEEE International Workshop on Program Comprehension, (1999) 126-133
23. Zhao, J.: Multithreaded Dependence Graphs for Concurrent Java Programs. International Symposium on Software Engineering for Parallel and Distributed Systems, (1999) 13-23