乔维洛特，P。；Feautrier，P。 Paralleélisation sémantique。 （法语） Zbl 0701.68075号 RAIRO，通知。塞奥尔。申请。 24，第2期，131-159（1990）. 摘要：检测序列程序中的并行性是高效使用新型超级计算机的技术之一。我们的目的是通过使用指称语义中的概念来扩展此方法的用途。用于构造并行程序的转换被视为源编程语言的非标准语义。此概念用于检测简单命令式语言中的复杂并行特性，以有限的方式处理间接索引和检测缩减。当前技术保留顺序的程序现在被并行化了。此外，利用领域理论的结果和抽象解释的概念，可以为我们的变换提供正确性证明。另一个副产品来自这样一个事实，即外延规范相当于高级程序。我们已经能够用ML函数语言实现语义并行器的原型，并将其应用于几个示例。 MSC公司： 68问题55 计算理论中的语义学 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：程序转换；顺序程序中的并行性；指称语义学 软件：帕洛；扬子乙酰氯 PDF格式BibTeX公司 XML格式引用 \textit{P.Jouvelot}和\textit{P.Feautrier}，RAIRO，通知。塞奥尔。申请。24，第2号，131--159（1990；Zbl 0701.68075） 全文： DOI程序 欧洲DML 参考文献： [1] 1.A.AHO、R.SETHI和J.D.ULLMAN，《编译器》，艾迪生-韦斯利出版社，1986年。 [2] 2.J.R.ALLEN et K.KENNEDY，《自动环路交换》，A.C.M.SIGPLAN通告，第19卷，1984年6月，第233-246页。 [3] 3.A.J.BERNSTEIN，《并行处理程序分析》，I.E.E.Trans，电子计算机。，第15卷，1966年10月，第757-763页。Zbl0147.15002号·Zbl 0147.15002号 ·doi:10.1109/PGEC.1966.264564 [4] 4.L.CARDELLI，《基本多态性类型检查》，多态性通讯1，第二卷，贝尔实验室，1985年1月。 [5] 5.K.CLARK et S.GREGORY，《PARLOG:逻辑并行编程》，A.C.M.Trans。项目。《语言与系统》，第8卷，1986年1月，第1-49页。Zbl0592.68016号·Zbl 0592.68016号 ·doi:10.1145/5001.5390 [6] 6.D.C.COOPER，《无乘法算术定理证明》，《机器智能》1972年第7期，第91-99页。Zbl0258.68046号·Zbl 0258.68046号 [7] 7.G.COUSINEAU，《ML手册》，I.N.R.I.A.草案，1985年5月。 [8] 8.P.COUSOT等人，《抽象解释：通过构建不动点近似对程序进行静态分析的统一格模型》，Proc。A.C.M.程序原则会议。Lang.，janvier 1977年，第238-252页。 [9] 9.P.COUSOT和N.HALBWACHS，程序变量之间线性约束的自动发现，Proc。A.C.M.程序原理会议。Lang.，janvier 1978年，第84-96页。 [10] 10.P.COUSOT，《Treillis Monotones sur un Treillis的固定点构建方法：分析程序的复杂性》，Thèse d’État，美国M.G.，格勒诺布尔，1978年。 [11] 11.R.J.DUFFIN，《关于线性不等式系统的傅里叶分析》，《数学系统》，第1卷，北荷兰，1974年·Zbl 0357.90032号 [12] 12.R.W.FLOYD，为节目赋予意义，第19交响曲。应用数学。，美国数学。Soc.，1967年。Zbl0189.50204 MR235771号·Zbl 0189.50204号 [13] 13.D.K.GIFFORD、P.JOUVELOT、J.M.LUCASSEN和M.A.SHELDON，FX-87参考手册，M.I.T./L.C.S.技术报告4071987年9月。 [14] 14.M.J.C.GORDON et R.MILNER，爱丁堡LCF，Lect。Comp.中的注释。科学。，n^\circ 78，施普林格出版社，1979年。Zbl0421.68039号·Zbl 0421.68039号 [15] 15.M.J.C.GORDON，《编程语言的外延描述》，施普林格出版社，1979年。Zbl0412.68004号·Zbl 0412.68004号 [16] 16.J.C.JOHNSON，YACC：《另一个编译器编译器》，贝尔实验室，1978年。 [17] 17.P.JOUVELOT，ML:Un Langage de Maquettage，Journées détude&它；Génie Logiciel的新语言>；A.F.C.E.T.，1985年。 [18] 18.P.JOUVELOT，通过语义检测简化的并行化，ESOP86，Lect。公司注释。科学。，n^\circ 213，p.223-236，施普林格-弗拉格出版社，1986年。Zbl0587.68021号·Zbl 0587.68021号 [19] 19.P.JOUVELOT，《使用ML设计新语言和新语言操作系统》，A.C.M.SIGPLAN通告，第21卷，1986年，第40-52页。 [20] 20.P.JOUVELOT，《语义平行化：抽象解释的实践练习》，Proc。A.C.M.程序原则会议。Lang.，janvier 1987年。 [21] 21.P.JOUVELOT，Paralleélisation Sémantique:Une Approche Dénotationnelle Non-Standard pour la Paralle lisation de Programmséquentiels，巴黎第六大学，Rapport M.A.S.I.174，février 1987。 [22] 22.G.KREISEL和J.L.KRIVINE，《逻辑数学教育》，杜罗德，1967年。Zbl0146.00703 MR207516·Zbl 0146.00703号 [23] 23.D.J.KUCK，《计算机和计算的结构》，约翰·威利父子出版社，1977年·Zbl 0348.68037号 [24] 24.K.C.LI，向量C语言注释，A.C.M.SIGPLAN通知，第21卷，1986年1月，第49-57页。 [25] 25.D.MACQUEEN，标准ML，爱丁堡大学国际代表ECS-LFCS-86-2，1986年5月。 [26] 26.J.S.MILLER，MultiScheme，麻省理工学院博士论文，1987年7月。 [27] 27.F.NIELSON，《指称环境中的程序转换》，a.C.M.Trans。项目。Lang.and Systems，第7卷，juillet 1985，第359-379页。Zbl0566.68013号·Zbl 0566.68013号 ·数字对象标识代码：10.1145/3916.3917 [28] 28.D.C.OPPEN，《普雷斯伯格算法复杂性的222pn上限》，《美国化学学会期刊》，第16卷，1978年，第323-332页。Zbl0381.03021 MR478750·Zbl 0381.03021号 ·doi:10.1016/0022-0000（78）90021-1 [29] 29.R.H.PERROTT，阵列和向量处理器语言，A.C.M.Trans。项目。《语言与系统》，第1卷，1979年10月，第177-195页。Zbl0449.68004号·Zbl 0449.68004号 ·数字对象标识代码：10.1145/357073.357075 [30] 30.J.T.SCHWARTZ，超级计算机，A.C.M.Trans。项目。语言与系统，第2卷，1980年10月，第484-521页。Zbl0468.68027号·Zbl 0468.68027号 ·doi:10.1145/357114.357116 [31] 31.D.斯科特，《流动图的格点》，Symp。《算法语言的语义》，施普林格出版社，1972年，第311-366页。Zbl0228.68016 MR278849号·Zbl 0228.68016号 [32] 32.J.E.STOY，《指称语义学：编程语言理论的斯科特-斯特拉奇方法》，麻省理工出版社，1977年。Zbl0503.68059 MR488969号·Zbl 0503.68059号 [33] 33.N.铃木（N.SUZUKI）和D.杰弗森（D.JEFFERSON），《Presburger阵列程序的验证可决定性》，Proc。关于提奥的争论。公司。科学。，滑铁卢，1977年，第202-212页。Zbl0411.68017 MR495144号·Zbl 0411.68017号 [34] 34.N.TAWBI，A.DUMAY et P.FEAUTRIER，PAF:Un Parallyéliseur Automatique pour FORTRAN，Rapport M.A.S.I.1851987年。 [35] 35.J.A.TEST，《Concentrix操作系统中的多处理器管理》，USENIX Conf.，1986年。 [36] 36.Thinking Machines Corp.，The Essential*Lisp Manual，T.M.C.技术代表86.15，avril 1986。 [37] 37.R.TRIOLET，《程序自动并行化FORTRAN组件的贡献》，巴黎第六大学，1984年。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。