Lenore M.Restifo穆林 索引函数：使用数组进行FFP的基础。 （英语） Zbl 0767.68076号 数组、函数语言和并行系统。第一届国际研讨会，加拿大魁北克省蒙特利尔，1990年，185-200年（1991年）。 摘要：[有关整个系列，请参阅Zbl 0747.00047号.]任意组件的数组可以视为一个变量，其值是从下标到其组件的函数。一维数组的下标（或索引）与整数系统有关，更确切地说，是自然数，自然数在群论中起着重要作用。阵列数学（MOA）[L.M.R.穆林《阵列数学》，雪城大学博士论文（1988）]基于这些思想，将置换和变换群构造成以Psi函数为基本构建块的维阵列微积分。我们认为这种演算为形式函数编程（FFP）提供了基础[约翰·巴科斯、Commun。ACM 21、613-641（1978年；兹伯利0383.68013)]具有用于并行架构的阵列。 引用于1文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68号01 软件理论的一般主题 68甲15 编程语言理论 关键词：大规模平行；形式推导；并行处理；程序验证；置换变换群；形式函数编程 引文：Zbl 0747.00047号；Zbl 0383.68013号 PDF格式BibTeX公司 XML格式引用 \textit{L.M.R.Mullin}，in：数组、函数语言和并行系统。第一次国际研讨会于1990年6月12日至15日在加拿大魁北克省蒙特利尔举行。诉讼程序。多德雷赫特：Kluwer学术出版集团。185-200（1991年；Zbl 0767.68076）