Efficient Goal Scheduling in Concurrent Logic Language using Type-Based Dependency Analysis

Kazuhiko Ohno, Masahiko Ikawa, Masahiro Goshima, Shin-ichiro Mori, Hiroshi Nakashima, Shinji Tomita. Efficient Goal Scheduling in Concurrent Logic Language using Type-Based Dependency Analysis. In R. K. Shyamasundar, Kazunori Ueda, editors, Advances in Computing Science - ASIAN 97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings. Volume 1345 of Lecture Notes in Computer Science, pages 268-282, Springer, 1997.

Abstract

Abstract is missing.