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
Set-sharing is redundant for pair-sharing
Theoretical Computer Science
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
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
Hi-index | 0.00 |