Static inference of modes and data dependencies in logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient dataflow analysis of logic programs
Journal of the ACM (JACM)
A Logic-Based Transformation System
IEEE Transactions on Knowledge and Data Engineering
A New Module System for Prolog
CL '00 Proceedings of the First International Conference on Computational Logic
Hi-index | 0.00 |