%0 Journal Article
%T 并行逻辑程序设计语言GHC的实现
%A 王平
%A 胡守仁
%J -
%D 1991
%X 本文设计了一个GHC的并行抽象推理机,对该推理机的进程管理、环境管理、挂起机制、托付机制等一系列课题进行了探讨和研究,并提出了相应的策略和算法。本文提出了一种新的挂起机制实现方法。该方法在保持环境访问效率的前提下,具有较小的系统开销,为GHC的高效实现提供了可能
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19910107&flag=1