Xu，Dana N。;邱小成;胡，镇江 PType系统：轻量级并行化检测器。 （英语） Zbl 1116.68389号 Chin，Wei Ngan（编辑），《编程语言与系统》。第二届亚洲研讨会，2004年APLAS，台湾台北，2004年11月4-6日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23724-0/pbk）。计算机科学课堂讲稿3302197-212（2004）。 摘要：并行编程正在成为通用计算的重要基石。此外，类型系统对程序分析有重大影响。在本文中，我们演示了一个基于类型的自动系统，该系统能够可靠地检测顺序函数程序的并行性。我们的类型推理系统通过探索程序操作符之间的环形结构，以模块化的方式发现序列程序的并行性。它处理带累积参数的自递归函数，以及一类非线性互递归函数。被推断为可并行化类型的程序可以自动转换为多形式的并行代码，这是一种用于并行计算的简洁模型。转换成这种形式是构建高效数据并行程序的重要步骤。关于整个系列，请参见[Zbl 1063.68002号]. 引用于2文件 MSC公司： 68甲19 其他编程范式（面向对象、顺序、并发、自动等） PDF格式BibTeX公司 XML格式引用 \textit{D.N.Xu}等人，Lect。注释计算。科学。3302197--212（2004年；Zbl 1116.68389） 全文： 内政部