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