Partial evaluation of functional logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Logical optimality of groundness analysis
Theoretical Computer Science
A General Approach for Building Constraint Languages
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Model checking linear logic specifications
Theory and Practice of Logic Programming
Abstract interpretation of resolution-based semantics
Theoretical Computer Science
Optimality in goal-dependent analysis of sharing
Theory and Practice of Logic Programming
| Hi-index | 0.01 |