The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
The program dependence graph in static program testing
Information Processing Letters
Information Processing Letters
ACM Computing Surveys (CSUR)
Interprocedural slicing using dependence graphs
ACM Transactions on Programming Languages and Systems (TOPLAS)
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
IEEE Transactions on Software Engineering
Using Program Slicing in Software Maintenance
IEEE Transactions on Software Engineering
Logical tool of knowledge engineering: using entailment logic rather than mathematical logic
CSC '91 Proceedings of the 19th annual conference on Computer Science
Programmers use slices when debugging
Communications of the ACM
Art of Software Testing
A General Framework for Debugging
IEEE Software
Task Dependence Net as a Representation for Concurrent Ada Programs
Proceedings of the 11th Ada-Europe International Conference on Ada: Moving Towards 2000
Task dependence nets for concurrent systems with Ada 95 and its applications
Proceedings of the conference on TRI-Ada '97
| Hi-index | 0.00 |
Recently, the author proposed two new types of basic program dependences in concurrent programs, named the synchronization dependence and the communication dependence, and a new program representation for concurrent Ada programs, named the Task Dependence Net (TDN), which extends the usual program dependence graph for sequential programs to the case of concurrent Ada programs. This article discusses some potential applications of the task dependence net in Ada software development activities including program understanding, testing, debugging, maintenance, and complexity measure/metrics.