Efficient dataflow analysis of logic programs
Journal of the ACM (JACM)
Denotational abstract interpretation of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the complexity of dataflow analysis of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Meta-circular abstract interpretation in prolog
The essence of computation
Hi-index | 0.00 |