Disjunctive program analysis for algebraic data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
A logical model for relational abstract domains
ACM Transactions on Programming Languages and Systems (TOPLAS)
Logical optimality of groundness analysis
Theoretical Computer Science
Higher-Precision Groundness Analysis
Proceedings of the 17th International Conference on Logic Programming
Sequence-based abstract interpretation of Prolog
Theory and Practice of Logic Programming
A backward analysis for constraint logic programs
Theory and Practice of Logic Programming
Formal Methods in System Design
Hi-index | 0.00 |