论文部分内容阅读
本文首先扼要地介绍了并行图重写计算模型,提出了一种新的多相并行图重写执行模型HPGREM及并行抽象机PAM/TGR,在此基础上设计了并行图重写机PGRM的体系结构及其优化的并行编译器.我们的目标是基于现有的商售芯片构造高效的并行图重写执行系统.有效地支持函数语言和逻辑语言的高效实现.并行图重写机PGRM的性能测试表明 PGRM的性能均好于SML,PARLOG,G—machine及<v,G>-machine等并行图重写执行系统.