Multiple Specialization of WAM Code
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Meta-circular abstract interpretation in prolog
The essence of computation
Inferring non-suspension conditions for logic programs with dynamic scheduling
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |