×
沃特·斯威斯特拉

分布式阵列的更多依赖类型。 （英语） Zbl 1256.68025号

高-订购符号。计算。 23，第4期，489-506（2010）.
摘要：分布式阵列上的局部感知算法可能很难编写。然而，随着台式机拥有越来越多的处理器，这种算法变得越来越重要。本文展示了依赖型编程语言如何帮助开发这些算法，并静态地确保每个类型良好的程序都只访问本地数据。这样的静态保证可以帮助在开发周期的早期捕获编程错误，并最大限度地提高多核机器的潜在速度。同时，这里提供的效果功能规范有助于测试和推理操作分布式阵列的算法。

引用于2文件

MSC公司：

68甲15 编程语言理论
68N99型 软件理论

关键词：

依赖类型;阿格达;分布式阵列;类型系统;特定于域的语言

软件：

哈斯克尔;阿格达;要塞;小教堂;尼泊尔
PDF格式BibTeX公司 XML格式引用
\textit{W.Swierstra}，高-订购符号。计算。23，编号4489-506（2010年；Zbl 1256.68025）
全文： DOI程序

参考文献：

[1] Allen，E.，Chase，D.，Luchangco，V.，Maessen，J.-W.，Ryu，S.，Steele，G.L.Jr.，Tobin Hochstadt，S.：堡垒语言规范。技术报告，Sun Microsystems，Inc.（2005）
[2] Altenkirch，T.、McBride，C.、Morris，P.：具有依赖类型的泛型编程。摘自：Backhouse，R.、Gibbons，J.、Hinze，R.和Jeuring，J.（编辑）数据类型通用编程春季学校。LNCS，第4719卷。柏林施普林格出版社（2007）
[3] Atkey，R.：计算的参数化概念。In:数学结构函数编程研讨会论文集（2006）·兹比尔1191.68156
[4] Chakravarty，M.M.T.，Keller，G.，Lechtchinsky，R.，Pfannenstiel，W.：尼泊尔——哈斯克尔的嵌套数据平行主义。收录于：《2001年欧洲伙伴关系：并行处理》，第七届国际欧洲伙伴关系会议。LNCS，第2150卷（2001）·Zbl 1007.68978号
[5] Chakravarty，M.M.T.，Leshchinskiy，R.，Jones，S.P.，Keller，G.，Marlow，S.：数据并行Haskell:状态报告。摘自：2007年多核编程声明性方面研讨会会议记录（2007年）
[6] Chamberlain，B.L.，Choi，S.-E.，Lewis，E.C.，Lin，C.，Snyder，L.，Weathersby，D.：ZPL：一种用于并行计算机的独立于机器的编程语言。柔和。工程26（3）（2000）
[7] 张伯伦（B.Chamberlain，B.）、德伊茨（Deitz，S.）、赫里巴尔（Hribar，M.B.）、王（Wong，W.）：教堂。技术报告，Cray Inc.（2005）
[8] Charles，P.、Grothoff，C.、Saraswat，V.、Donawa，C.、Kielstra，A.、Ebcioglu，K.、von Praun，C.和Sarkar，V.：X10：非均匀集群计算的面向对象方法。In:OOPSLA’05（2005）
[9] Grothoff，C.，Palsberg，J.，Saraswat，V.：通过区域和依赖类型的安全数组。数字对象标识代码：10.1.1.98.8038
[10] Grothoff，C.，Palsberg，J.，Saraswat，V.：分布式阵列的类型系统。未发布草稿
[11] Hudak，P.：构建特定领域的嵌入式语言。ACM计算。Surv公司。28 (1996)
[12] Liblit，B.，Aiken，A.：分布式数据结构的类型系统。收录于：POPL'00:第27届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，199-213页（2000）·Zbl 1323.68243号
[13] Löh，A.：lhs2TeX。http://people.cs.uu.nl/andres/lhs2tex网站/
[14] McKinna，J.，Wright，J.：Epigram中的一个类型正确、堆叠安全、可证明正确的表达式编译器。J.功能。程序。数字对象标识代码：10.1.1.105.4086
[15] Nordström，B.，Peterson，K.，Smith，J.m.：马丁·洛夫类型理论中的编程：导论。牛津大学出版社，伦敦（1990）·Zbl 0744.03029号
[16] 诺雷尔，U。：基于依赖类型理论的实用编程语言。查尔默斯理工大学博士论文（2007年）
[17] Nystrom，N.，Saraswat，V.，Palsberg，J.，Grothoff，C.：面向对象语言的约束类型。在：OOPSLA’08：第23届ACM SIGPLAN面向对象编程系统语言与应用会议论文集，第457–474页（2008）
[18] Oury，N.，Swierstra，W.：皮的力量。In:ICFP’08：第13届ACM SIGPLAN函数编程国际会议记录（2008）·Zbl 1323.68145号
[19] Jones，S.P.（编辑）：Haskell 98语言和图书馆——修订报告。剑桥大学出版社，剑桥（2003）·Zbl 1067.68041号
[20] Jones，S.P.、Vytiniotis，D.、Weirich，S.、Washburn，G.：GADT的基于简单统一的类型推断。In:ICFP’06：第11届ACM SIGPLAN函数编程国际会议记录（2006）
[21] Scholz，S.-B.：单赋值C–在功能设置中有效支持高级数组操作。J.功能。程序。13(6), 1005–1059 (2003) ·Zbl 1093.68564号 ·doi:10.1017/S0956796802004458
[22] Swierstra，W.：效果的功能规范。诺丁汉大学博士论文（2009年）·Zbl 1250.68083号
[23] Swierstra，W.，Altenkirch，T.：野兽中的美：尴尬团队的功能语义。摘自：ACM SIGPLAN Haskell研讨会论文集（2007年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。