Generating editing environments based on relations and attributes
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
Software processes are software too
ICSE '87 Proceedings of the 9th international conference on Software Engineering
TEAM: a support environment for testing, evaluation, and analysis
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Integrating noninterfering versions of programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the adequacy of program dependence graphs for representing programs
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Interprocedural slicing using dependence graphs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Language constructs for managing change in process-centered environments
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
IEEE Transactions on Software Engineering
The use of program dependence graphs in software engineering
ICSE '92 Proceedings of the 14th international conference on Software engineering
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
Metric-driven analysis and feedback systems for enabling empirically guided software development
ICSE '91 Proceedings of the 13th international conference on Software engineering
Programmers use slices when debugging
Communications of the ACM
Dependence graphs and compiler optimizations
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Data flow analysis techniques for test data selection
ICSE '82 Proceedings of the 6th international conference on Software engineering
The program dependence graph in a software development environment
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
An Analysis of Text Data Selection Criteria Using the RELAY Model of
An Analysis of Text Data Selection Criteria Using the RELAY Model of
PLEIADES: an object management system for software engineering environments
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
TAOS: Testing with Analysis and Oracle Support
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Chiron-1: a software architecture for user interface development, maintenance, and run-time support
ACM Transactions on Computer-Human Interaction (TOCHI)
Generating testing and analysis tools with Aria
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated construction of testing and analysis tools
ICSE '94 Proceedings of the 16th international conference on Software engineering
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
A C++ data model supporting reachability analysis and dead code detection
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
A C++ Data Model Supporting Reachability Analysis and Dead Code Detection
IEEE Transactions on Software Engineering
Architecture-level dependence analysis in support of software maintenance
ISAW '98 Proceedings of the third international workshop on Software architecture
Hardware/software co-design: VHDL and Ada 95 code migration and integrated analysis
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
AdaSlicer: an Ada program slicer
Proceedings of the 2003 annual ACM SIGAda international conference on Ada: the engineering of correct and reliable software for real-time & distributed systems using ada and related technologies
A brief survey of program slicing
ACM SIGSOFT Software Engineering Notes
Aristotle: a system for development of program analysis based tools
ACM-SE 33 Proceedings of the 33rd annual on Southeast regional conference
Performance of concurrent servers generated automatically from sequential servers
Sedms'93 USENIX Systems on USENIX Experiences with Distributed and Multiprocessor Systems - Volume 4
Hi-index | 0.02 |
ProDAG is an analysis toolset that provides an application programmatic interface for program dependence analysis. Program dependences are syntactic relationships between program statements. The ProDAG interface provides a uniform set of operations for creating and accessing several pre-defined dependence relations, which are represented as graphs, as well as a standard mechanism for developing new dependence graphs. ProDAG is one analysis toolset in Arcadia, ProDAG was developed in the Arcadia environment and has been integrated with the language processing, oject management, and process definition components of the Arcadia architecture, and further integration with the user interface development system and the measurement and evaluation components are underway. This paper describes the design, implementation and integration of proDAG within Arcadia.