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)
Parallel logic programming systems
ACM Computing Surveys (CSUR)
Global analysis of constraint logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient Reordering of Prolog Programs
IEEE Transactions on Knowledge and Data Engineering
Hi-index | 0.00 |