Parallel logic programming systems
ACM Computing Surveys (CSUR)
Implementation of multiple specialization in logic programs
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Parallel symbolic computation in ACE
Annals of Mathematics and Artificial Intelligence
Freeness Analysis Through Linear Refinement
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Non-strict independence-based program parallelization using sharing and freeness information
Theoretical Computer Science
Hi-index | 0.00 |