{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,7,11]]，“日期-时间”：“2024-07-11T17:20:44Z”，“时间戳”：1720718444853}，“参考-计数”：43，“发布者”：“爱思唯尔BV”，“许可证”：[{“开始”：{:“日期-零件”：[2014,1,1]，“时间”：”2014-01T00:00:00 0Z”，“时间戳”：1388534400000}，“内容-版本”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2014,6,6]]，“date-time”：“2014-06-06T00:00:00Z”，“timestamp”：1402012800000}，“content-version”：“vor”，“delay-in-days”：156，“URL“http://creativecommons.org\/licenses\/by-nc-nd”\/3.0\/“}]，”内容域“：{”域“：[”elsevier.com“，“sciencedirect.com”]，“crossmark-restriction”：true}，“short-container-title”：[“Procedia Computer Science”]，”published-print”：{“date-parts”：[[2014]]}，”DOI“：”10.1016\/j.procs.2014.05.064“，”type“：”journal-article“，”created“：{”date-part“：[2014,6,6]]，”date-time“：”2014-06-06T06:12:42Z“，”timestamp“：1402035162000}”，“page：“713-727”，“更新策略”：“http://\/dx.doi.org\/10.1016\/elsevier_cm_policy”，“source”：“Crossref”、“is-referenced-by-count”：10，“special_numberg”：“C”，“title”：[“A Computational Science Agenda for Programming Language Research”]，“prefix”：“10.1016”，“volume”：”29“author”：[{“given”：家庭”：“Rice”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“78”，“reference”：[{“key”：“10.1016\/j.procs.2014.05.064_bib0005”，“unstructured”：“Krste Asanovic，Ras Bodik，Demmel，et al.加州大学并行计算实验室。伯克利：基于伯克利观点的研究议程。技术报告UCB \/EECS-2008-23，加州大学伯克利分校EECS系，2008年3月。“}，{“key”：“10.1016\/j.procs.2014.05.064_bib0010”，“非结构化”：“D.Ascher，P.F.Dubois，K.Hinsen，j.Hugunin，and T.Oliphant。数字Python。技术报告UCRL-MA-1285692001。劳伦斯·利弗莫尔国家实验室。“}，{”key“：”10.1016\/j.procs.2014.05.064_bib0015“，”doi-asserted-by“：”crossref“，”unstructured“：”j.Backus.编程能从von Neumann风格中解放出来吗？：函数风格及其程序代数。ACM通信，21（8）：613-6411978。“，”doi“：”101145\/359576.359579“}doi-asserted-by“：”crossref“，”unstructured“：”Koen Claessen和John Hughes。QuickCheck：Haskell程序随机测试的轻量级工具。《第五届ACM SIGPLAN函数编程国际会议论文集》，ICFP\u201800，第268-279页，美国纽约州纽约市，2000年。ACM公司。“，”DOI“：”10.1145\/351240.351266“}，”{“key”：“10.1016\/j.procs.2014.05.064_bib0025”，“unstructured”：“M.I.Cole.算法骨架：并行计算的结构化管理。Pitman，1989.”}，“{”key“：”101016\/j.proces.2014.05.014_bib0030“，”DOI-asserted-by“：”crossref“，”unstructure“：”Geoffrey Chang，Christopher B.Roth，Christopor L。Reyes、Owen Pornillos、Yen-Ju Chen和Andy P.Chen。收回。《科学》，314（5807）：18752006。“，”DOI“：”10.1126\/Science.314.5807.1875b“}，{“key”：“10.1016\/j.procs.2014.05.064_bib0035”，“DOI-serted-by”：“crossref”，“unstructured”：“C.Dawson，Q.Du，and T.Dupont。热方程数值解的有限差分区域分解算法。计算数学，57（195），1991。”，“DOI”：“10.1090\/S0025-5718-1991-1079011-4“}，{“key”：“10.1016\/j.procs.2014.05.064_bib0040”，“doi-asserted-by”：“crossref”，“unstructured”：“Leonardo Dagum和Ramesh Menon.OpenMP：共享内存编程的行业标准API。IEEE Compute.Sci.Eng.，5（1.05.064_bib0045“，”非结构化“：”Chris Drummond。可复制性不是再现性，也不是好的科学。在加拿大蒙特利尔第26届ICML机器学习研讨会的评估方法中，2009年。“}，{“key”：“10.1016\/j.procs.2014.05.064_bib0050”，“doi-asserted-by”：“crossref”，“unstructured”：“M.Griebel，T.Dornsheifer，and T.Neunhoeffer。流体动力学数值模拟：实践简介，第3卷。工业数学学会，1997.“，”DOI“：”10.1137\/1.9780898719703“}，{“key”：“10.1016\/j.procs.2014.05.064_bib0055”，“unstructured”：“Andrew D Gordon和C\u00e9dric Fornet.精炼类型的原理和应用.可靠性和安全的逻辑和语言，25:73-1042010。”}，“key非结构化”：“汤姆·哈尔夫希尔。使用CUDA进行并行处理。微处理器报告，2008年1月非结构化“：”M.霍夫曼。依赖类型的语法和语义。计算的语义和逻辑，14:79，1997.“，”DOI“：”10.1017\/CBO9780511526619.004“}，{“key”：“10.1016\/j.procs.2014.05.064_bib0075”，“DOI-asserted-by”：“crossref”，“unstructured”：“Cezar Ionescu和Patrik Jansson。科学计算中的依赖型编程——来自经济建模的示例。在IFL（函数语言的实现和应用）2012中，计算机科学讲义第8241卷，第140-156页。Springer，2013.“，”DOI“：”10.1007\/978-3-642-41582-1_9“}，{“key”：“10.1016\/j.procs.2014.05.064_bib0080”，“unstructured”：“Cezar Ionescu和Patrik Jansson。气候影响研究中的测试与证明。《第18届证明与计划研讨会类型会议录》（Types\u201811），第19卷，第41-54页，2013年。”}，“{“key”：”10.1016\/j.procs.2014.05.064_bib0085“，“非结构化”：“ISO\/IEC JTC1\/SC22\/WG5，数值计量单位，2013年4月。N1696，.ftp:\/\/ftp.nag.co.uk\/sc22wg5\/N1951-N2000\/N1969.pdf。“}，{”key“：”10.1016\/j.procs.2014.05.064_bib0090“，”doi-asserted-by“：”crossref“，”unstructured“：”L.Karczmarczuk.科学计算与函数编程.科学与工程计算，1（3）：64-721999.“，”doi“：”101109\/5992.764217“}”，{安德鲁·肯尼迪。维度类型。在《欧洲编程语言与系统交响曲》（ESOP）中，第348-362页。Springer Berlin Heidelberg，1994.“，”DOI“：”10.1007\/3-540-57880-3_23“}，{“key”：“10.1016\/j.procs.2014.05.064_bib0100”，“DOI-serted-by”：“crossref”，“unstructured”：“Andrew Kennedy。F#中度量单位的类型：邀请演讲。2008年ACM SIGPLAN ML研讨会论文集，第1-2页。ACM，2008.“，”DOI“：”10.1145\/1411304.1411305“}，{“key”：“10.1016\/j.procs.2014.05.064_bib0105”，“DOI-asserted-by”：“crossref”，“unstructured”：“肯·肯尼迪、查尔斯·科贝尔和汉斯·齐马。高性能Fortran的兴衰：一个历史性的教训。第三届ACM SIGPLAN编程语言历史会议论文集，第7-1页。ACM，2007.“，”DOI“：”10.1145\/123884.1238851“}，{“key”：“10.1016\/j.procs.2014.05.064_bib0110”，“unstructured”：“Jukka Lehtosalo和David j Greaves。可插入类型系统的语言和可选的类型错误运行时监控。收录于2011年国际程序脚本研讨会（STOP）论文集。”}，“{”key“：”10.1016\/j.procs.2014.05.064_bib0115“，”doi-asserted-by“：”crossref“，”unstructured“：”A.Logg、K.A.Mardal和G.Wells。用有限元法自动求解微分方程：FEniCS手册。计算科学与工程讲稿。Springer，2012年。“，”DOI“：”10.1007\/978-3642-23099-8“}，{“key”：“10.1016\/j.procs.2014.05.064_bib0120”，“DOI-asserted-by”：“crossref”，“unstructured”：“Z.Merali.计算科学：错误，为什么科学编程不计算。Nature，467（7317）：7752010。”，“DOI”：“101038\/4677775a”}，}“key“：”10.1016\/j.procs.2014.05.064_bib0125“，”doi-asserted-by“：”crossref“，”unstructured“：”Geoffrey Continland、Roman Leshchinskiy和Simon Peyton Jones。利用广义流融合开发向量指令。《第18届ACM SIGPLAN函数编程国际会议论文集》，ICFP\u201813，第37-48页，2013年。“，”DOI“：”10.1145\/2500365.2500601“}，{“key”：“10.1016\/j.procs.2014.05.064_bib0130”，“DOI-asserted-by”：“crossref”，“unstructured”：“多米尼克·乌节（Dominic Orchard）、马克斯·博林布鲁克（Max Bolingbroke）和艾伦·迈克罗夫特（Alan Mycroft）。Ypnos：声明式并行结构化网格编程。在DAMP\u201810：第五届ACM SIGPLAN多核编程声明方面研讨会会议记录，第15-24页，美国纽约，2010年。ACM公司。“，”DOI“：”10.1145\/1708046.1708053“}，{“key”：“10.1016\/j.procs.2014.05.064_bib0135”，“DOI-asserted-by”：“crossref”，“unstructured”：“Jeffrey L Overbey和Ralph E Johnson。重新生成语言：重构工具允许编程语言发展。在ACM SIGPLAN Notices，第44卷，第493-502页，2009年。”，“DOI”：“101145\/1639949.1640127”}，}“key:”10.1016\/j.procs.2014.05.064_bib0140“，”doi-asserted-by“：”crossref“，”unstructured“：”Travis E Oliphant“。用于科学计算的Python。科学与工程计算，9（3）：10-20，2007.“，”DOI“：”10.1109\/MCSE.2007.58“}，{“key”：“10.1016\/j.procs.2014.05.064_bib0145”，“DOI-asserted-by”：“crossref”，“unstructured”：“Dominic Orchard和Alan Mycroft。通过模式匹配和静态键入实现高效和正确的模具计算。《理论计算机科学电子期刊》，66:68｛92011。arXxxxiv:1109.0777.“，”DOI“：”10.4204\/EPTCS.66.4“}，{”key“：”10.1016\/j.procs.2014.05.064_bib0150“，”DOI-asserted-by“：”crossref“，”unstructured“：”W.L.Oberkampf和C.j.Roy.科学计算中的验证。剑桥大学出版社，2010年。ib0155“，”doi断言：“crossref”，“非结构化”：“Dominic Orchard和Andrew Rice。使用自动重构升级Fortran源代码。《2013年ACM重构工具研讨会论文集》，WRT\u201813，第29-32页，美国纽约州纽约市，2013年。ACM公司。“，”DOI“：“10.1145\/2541348.2541356”}，{“key”：“10.1016\/j.procs.2014.05.064_bib0160”，“DOI-asserted-by”：“crossref”，“unstructured”：“Dominic Orchard.The four Rs of programming language design.In Proceedings of The 10th SIGPLAN semination on New ides，New paradigms，and reflections on programmings and software，第157-162页。ACM，2011.“，”DOI“：”10.1145\/2089131.2089138“}，{“key”：“10.1016\/j.procs.2014.05.064_bib0165”，“unstructured”：“Photran\u2013 Fortran的集成开发环境和重构工具，2013年7月检索。http://www.eclipse.org\/phostran\/“}，{“key”：“10.1016\/j.procs.2014.05.064_bib0170”，“doi-asserted-by”：“crossref”，“unstructured”：“D.E.Post和L.G.Votta.Computational science requirements a new paradement。Physics today，58（1）：35-412005.”，“doi”：“101063\/1.1881898”}，“key“10.1016 \/j.procs.2014.005.064_bin0175”，“非结构化”：“安德鲁·赖斯（Andrew C Rice）和阿拉斯泰尔·贝雷斯福德（Alastair R Beresford）。上下文中间件系统的可靠性和责任性。2006年普及计算与通信研讨会。2006年PerCom研讨会。第四届IEEE国际年会，第5\u2013pp页。IEEE，2006.“}，{”key“：”10.1016\/j.procs.2014.05.064_bib0180“，”unstructured“：”G.W.Recktenwald.热方程的有限差分近似。课堂笔记，2004。http://www.f.kth.se\\u223cjjalap\\numme\\FDheat.pdf。“}，{”key“：”10.1016\/j.procs.2014.05.064_bib0185“，”doi-asserted-by“：”crossref“，”unstructured“：”T.Sheard.让Curry-Howard工作。2005年ACM SIGPLAN Haskell研讨会论文集，第74-85页。ACM，2005.“，”DOI“：”10.1145 \/1088348.1088356“}，{“key”：“10.1016 \/j.procs.2014.05.064_bib0190”，“非结构化”：“Arthur G Stephenson，Daniel R Mulville，Frank H Bauer，Greg A Dukeman，Peter Norvig，LS LaPiana，PJ Rutledge，D Folta，and R Sackheim。火星气候轨道飞行器灾难调查委员会第一阶段报告，44页NASA，华盛顿特区，1999年。”}，}“key“：”10.1016\/j.procs.2014.05.064_bib0195“，”unstructured“：”Marc Snir和Steve Otto。MPI-完整参考：MPI核心。麻省理工学院出版社，马萨诸塞州坎布里奇，美国，1998年。“}，{“key”：“10.1016\/j.procs.2014.05.064_bib0200”，“doi-asserted-by”：“crossref”，“unstructured”：“M.Sulzmann和R.Voicu.通过表达式类型进行基于语言的程序验证理论计算机科学中的电子笔记，174（7）：129-1472007。”，“doi”：“101016\/j.entcs.2006.10.041”}，}“key:”10.1016\/j.procs.2014.05.064_bib0205“，”doi-asserted-by“：”crossref“，”unstructured“：”Fernando G Tinetti和Mariano M\u00e9ndez。Fortran遗留软件：源代码更新和可能的并行化问题。在ACM SIGPLAN Fortran论坛，第31卷，第5-22页，2012年。“，“DOI”：“10.1145\/2179280.2179281”}，{“key”：“101016\/j.procs.2014.05.064_bib0210”，“DOI-asserted-by”：“crossref”，“unstructured”：“Moshe Y.Vardi.Science has only two legs.Commun.ACM，53（9）：5-52010年9月。”.procs.2014.05.064_bib0215“，”doi-asserted-by“：”crossref“，”unstructured“：”Philip Wadler“。用于函数编程的单子函数。在高级函数编程中，第24-52页。Springer，1995.“，”DOI“：”10.1007\/3-540-59451-5_2“}]，”container-title“：[”Procedia Computer Science“]，”原始标题“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com\/content\/article\/PII:S1877050914002415？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：“text-mining”}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1877050914002415？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,8,11]]，“date-time”：“2019-08-11T09:14:57Z”，“timestamp”：1565514897000}，“score”：1，“resource”：{“primary”：“URL”：“https://linkinghub.elsevier.com\/retrieve\/pi\/S1 877050914002415“}}，”副标题“：[]，”短标题“：[]，”已发布“：{“date-parts”：[[2014]]}，“references-count”：43，“alternative-id”：[“S1877050914002415”]，“URL”：“http://\/dx.doi.org\/10.1016\/j.procs.2014.05.064”，“relation”：{}，”ISSN“：[”1877-0509“]，“ISSN-type”：[{“value”：“1877-0505”，“type”:“print”}]，“subject”：[]，“published”：{“date-parts”：[[2014]]}，“assertion”：[{“value”：“Elsevier”，“name”：“publisher“，”label“：”本文由“}维护，{”value“：”A Computational Science Agenda for Programming Language Research“，”name“：”articletitle“，”标签“：”article Title“}，{“value”：“Procedia Computer Science”，“name”：“journaltitle”，“label”：“Journal Title”}，}“values”：“https:\/\/doi.org\/101016\/j.procs.2014.05.064”，“name”：“articlelink”，“标签”：“”CrossRef DOI链接到出版商维护的版本“}，{“value”：“article”，“name”：“content_type”，“label”：“content-type”}，}“value:”Copyright\u00a9 2014 The Authors.Published by Elsevier B.V.“，”name“：”Copyright“，”label“：”Copyrity“}]}}