A logical model for relational abstract domains
ACM Transactions on Programming Languages and Systems (TOPLAS)
Making abstract interpretations complete
Journal of the ACM (JACM)
Logical optimality of groundness analysis
Theoretical Computer Science
Higher-Precision Groundness Analysis
Proceedings of the 17th International Conference on Logic Programming
Domain Compression for Complete Abstractions
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Inferring non-suspension conditions for logic programs with dynamic scheduling
ACM Transactions on Computational Logic (TOCL)
Hi-index | 5.23 |