On the complexity of dataflow analysis of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Non pair-sharing and freeness analysis through linear refinement
PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Enhanced sharing analysis techniques: a comprehensive evaluation
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Set-sharing is redundant for pair-sharing
Theoretical Computer Science
Backtracking in Independent And-Parallel Implementations of Logic Programming Languages
IEEE Transactions on Parallel and Distributed Systems
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
The Correctness of Set-Sharing
SAS '98 Proceedings of the 5th International Symposium on Static Analysis
Freeness Analysis Through Linear Refinement
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
PAN: a portable, parallel prolog: Its design, realisation and performance
New Generation Computing
Pair-independence and freeness analysis through linear refinement
Information and Computation
Theory and Practice of Logic Programming
Soundness, idempotence and commutativity of set-sharing
Theory and Practice of Logic Programming
Enhanced sharing analysis techniques: a comprehensive evaluation
Theory and Practice of Logic Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Non-strict independence-based program parallelization using sharing and freeness information
Theoretical Computer Science
Efficient top-down set-sharing analysis using cliques
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
Hi-index | 0.00 |