Distributed last call optimization for portable parallel logic programming
ACM Letters on Programming Languages and Systems (LOPLAS)
Improving abstract interpretations by combining domains
PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Layer sharing: an improved structure-sharing framework
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Cost analysis of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Analyzing logic programs with dynamic scheduling
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parallel logic programming systems
ACM Computing Surveys (CSUR)
Improving abstract interpretations by combining domains
ACM Transactions on Programming Languages and Systems (TOPLAS)
An introduction to intelligent operating system KZ2
ACM SIGOPS Operating Systems Review
Global analysis of constraint logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Evaluating parallel logic programming systems on scalable multiprocessors
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Extended dynamic dependent and-parallelism in ACE
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Enhanced sharing analysis techniques: a comprehensive evaluation
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Set-sharing is redundant for pair-sharing
Theoretical Computer Science
Precise pair-sharing analysis of logic programs
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Parallel symbolic computation in ACE
Annals of Mathematics and Artificial Intelligence
Machine Independent AND and OR Parallel Execution of Logic Programs: Part II-Compiled Execution
IEEE Transactions on Parallel and Distributed Systems
Backtracking in Independent And-Parallel Implementations of Logic Programming Languages
IEEE Transactions on Parallel and Distributed Systems
A Framework for Analysis of Typed Logic Programs
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
The Impact of Cache Coherence Protocols on Parallel Logic Programming Systems
CL '00 Proceedings of the First International Conference on Computational Logic
Enhanced sharing analysis techniques: a comprehensive evaluation
Theory and Practice of Logic Programming
Coalgebraic semantics for parallel derivation strategies in logic programming
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Relating data-parallelism and (and-) parallelism in logic programs
Computer Languages
| Hi-index | 0.00 |