Nouhad J.里兹克。 平行语言中的语义。 （英语） Zbl 1096.68028号 J.工厂。科学。，阿联酋大学。 12-B，规范发行，32-47（2002）。 摘要：如果并行编程要像顺序编程一样普及，那么支持并行编程的语言应该包含所有标准抽象机制，包括高阶函数和递归。本文介绍了批量同步lambda，一种并行递归批量同步并行（BSP）程序的演算，并尝试使用类元语言函数扩展BSP库。给出了用块同步元语言编写的一些并行算法，证明了通过保留函数语言的语义可以预测并行算法的性能。 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68问题55 计算理论中的语义学 关键词：批量同步λ;类元语言函数 PDF格式BibTeX公司 XML格式引用 \textit{N.J.Rizk}，J.Fac。科学。，阿联酋大学12-B，32-47（2002；Zbl 1096.68028）