全部 标题 作者 关键词 摘要
Full-Text Cite this paper Add to My Lib
本文设计了一个GHC的并行抽象推理机,对该推理机的进程管理、环境管理、挂起机制、托付机制等一系列课题进行了探讨和研究,并提出了相应的策略和算法。本文提出了一种新的挂起机制实现方法。该方法在保持环境访问效率的前提下,具有较小的系统开销,为GHC的高效实现提供了可能
Full-Text
Contact Us
service@oalib.com
QQ:3279437679
WhatsApp +8615387084133