Publisher
Springer Berlin Heidelberg
Reference44 articles.
1. K. A. M. Ali and R. Karlsson. The Muse Or-Parallel Prolog Model and its Performance. In 1990 North American Conference on Logic Programming, pages 757–776. MIT Press, October 1990.
2. K. Apt and A. Shaerf. Search and Imperative Programming. In POPL'97: 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 67–79, Paris, France, January 1997. ACM.
3. D. Bacon, S. Graham, and O. Sharp. Compiler Transformations for HighPerformance Computing. Computing Surveys, 26(4):345–420, December 1994.
4. E. Best and C. Lengauer. Semantic Independence. Science of Computer Programming, 13:23–50, 1990.
5. J. Bevemyr, T. Lindgren, and H. Millroth. Reform Prolog: the language and its implementation. In Proc. 10th Intl. Conf. Logic Programming, Cambridge, Mass., 1993. MIT Press.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献