The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Static inference of modes and data dependencies in logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Design of the kernel language for the parallel inference machine
The Computer Journal - On concurrent logic programming
IEEE Transactions on Software Engineering
Cost analysis of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proving termination of GHC programs
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Rational Debugging in Logic Programming
Proceedings of the Third International Conference on Logic Programming
CLPKIDS: A Program Analysis System for Concurrent Logic Programs
COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
Synthesis of Directionality Information for Functional Logic Programs
WSA '93 Proceedings of the Third International Workshop on Static Analysis
A Backward Slicing Algorithm for Prolog
SAS '96 Proceedings of the Third International Symposium on Static Analysis
Sequentializing Parallel Programs
Seminar and Workshop on Declarative Programming
A Metrics Suite for Concurrent Logic Programs
CSMR '98 Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering ( CSMR'98)
Slicing Concurrent Java Programs
IWPC '99 Proceedings of the 7th International Workshop on Program Comprehension
Forward slicing of functional logic programs by partial evaluation
Theory and Practice of Logic Programming
Forward slicing by conjunctive partial deduction and argument filtering
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
| Hi-index | 0.00 |
In this paper we propose a program dependence model for concurrent logic programs. We present three types of primary program dependences named the {\it sharing dependence}, {\it communication dependence}, and {\it unification dependence} between arguments in a concurrent logic program. We formally define these primary program dependences based on mode information. We further present a dependence-based representation named the {\it argument dependence net} (ADN), which explicitly represents all primary program dependences between arguments in a concurrent logic program. We also discuss some applications of the ADN for developing software engineering tools of concurrent logic programs. Finally, we briefly introduce a program analysis system called \verb+CLPKIDS+ for concurrent logic programs, which is a prototype implementation of the techniques introduced in this paper.