×

声明珍珠:派生单子快速排序。 (英语) 兹伯利07368088

Nakano,Keisuke(编辑)等人,《功能和逻辑编程》。第十五届国际研讨会,FLOPS 2020,日本秋田,2020年9月14-16日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12073, 124-138 (2020).
摘要:为了演示一元程序的推导,我们提出了使用非确定性单元的排序规范,并推导了列表上的纯快速排序和数组上的状态单元快速排序。在派生过程中,可以在无点样式和逐点样式之间切换,并部署函数式程序员熟悉的技术,例如模式匹配和结构或大小归纳。有状态程序的派生类似于后置条件的反向推理。
关于整个系列,请参见[Zbl 1464.68017号].

MSC公司:

68N17号 逻辑编程
68甲18 函数编程和lambda演算
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Backhouse,R.C.,de Bruin,P.J.,Malcolm,G.,Voermans,E.,van der Woude,J.:关系变形。摘自:Möller,B.(编辑)IFIP TC2/WG2.1项目建设工作会议记录,第287-318页。爱思唯尔科学出版社(1991)
[2] Bentley,JL,Programming Pearls(2000),波士顿:Addison-Wesley,波士顿·Zbl 0825.68062号
[3] Bird,RS,函数算法设计,科学。计算。程序。,26, 15-31 (1996) ·Zbl 0853.68101号 ·doi:10.1016/0167-6423(95)00033-X
[4] Bird,R.S.,de Moor,O.:编程代数。收录:计算机科学国际丛书。Prentice Hall(1997)·Zbl 0867.68042号
[5] 伯德·R。;拉贝,F。;Hutton,G.,《如何使用非确定性函数进行计算》,《程序构造数学》,138-154(2019),查姆:斯普林格,查姆·Zbl 1434.68078号 ·数字对象标识代码:10.1007/978-3-030-33636-36
[6] Dijkstra,EW,编程学科(1976),《上鞍河:上鞍河Prentice Hall》·Zbl 0368.68005号
[7] Gibbons,J.,Hinze,R.:只要做:简单的一元方程式推理。摘自:Danvy,O.(编辑)《函数编程国际会议》,第2-14页。ACM出版社(2011)·Zbl 1323.68207号
[8] Gill,A.,Kmett,E.:单子变压器库(2014)。https://hackage.haskell.org/package/mtl
[9] Hoare,CAR,算法63:分区,公共。ACM,4,7,321(1961)·数字对象标识代码:10.1145/366622.366644
[10] Kiselyov,O.:如何在不破坏单子的情况下限制单子:通往Set单子的蜿蜒之路,2013年7月。http://okmij.org/ftp/Haskell/set-monad.html
[11] Kiselyov,O.,Ishii,H.:更自由的monad,更可扩展的效果。摘自:Reppy,J.H.(编辑)《哈斯克尔研讨会》,第94-105页。ACM出版社(2015)
[12] Moggi,E.:计算lambda-calculus和monad。摘自:Parikh,R.(编辑)《计算机科学中的逻辑》,第14-23页。IEEE计算机学会出版社(1989)·Zbl 0716.03007号
[13] de Moor,O。;Gibbons,J。;Rus,T.,点式关系编程,代数方法论和软件技术,371-390(2000),海德堡:施普林格·Zbl 0983.68042号 ·doi:10.1007/3-540-45499-3_27
[14] Pauwels,K。;施里杰弗斯,T。;Mu,S-C;Hutton,G.,《用全球状态处理地方状态》,《程序构建数学》,18-44(2019),查姆:斯普林格,查姆·兹比尔1434.68093 ·doi:10.1007/978-3-030-33636-32
[15] Shi,Y。;Sagduyu,YE,具有分布式波束形成的自组织网络中的相干通信,IEEE Trans。车辆。技术。,69, 1, 760-770 (2020) ·doi:10.1109/TVT.2019.2954653
[16] 日本南泽;施密德,RL;Comberiate,TM;Hodkin,JE,开环相干分布式阵列,IEEE Trans。微型。理论技术,65,5,1662-1672(2017)·doi:10.1109/TMTT.2016.2637899
[17] Bai,C.,Zhang,X.,Qiao,X.、Sang,Y.、Wan,M.:基于快速相干时间延迟和相关像素基波束形成的超声经颅成像。参加:IEEE国际超声波研讨会(2018年)
[18] 邓,H。;耿,Z。;Himed,B.,用于发射波束形成和正交性的MIMO雷达波形设计,IEEE Trans。Aerosp.航空公司。电子。系统。,52, 3, 1421-1433 (2016) ·doi:10.1109/TAES.2016.140023
[19] 魏,Z。;李,M。;赵(Q.Zhao)。;吕,Z。;朱,S。;Wei,Z.,无线可充电传感器网络中带时间窗的Multi-MC充电调度算法,IEEE Access,7156217-156227(2019)·doi:10.1109/ACCESS.2019.2949284
[20] Xie,L.,Shi,Y.,Hou,Y.、Lou,W.、Sherali,H.、Midkiff,S.:关于无线能量传输的可再生传感器网络:多节点情况。摘自:第九届IEEE SECON会议记录,第10-18页(2012)
[21] Xie,L.,Shi,Y.,Hou,Y.T.,Lou,W.,Sherali,H.D.:可充电传感器网络中移动站的移动路径和相关问题。摘自:第13届ACM MobiHoc会议记录,第109-118页(2013)
[22] Xie,L.,Shi,Y.,Hou,Y.T.,Lou,W.,Sherali,H.D.,Midkiff,S.F.:捆绑移动基站和无线能量传输:建模和优化。收录于:《IEEE INFOCOM论文集》,第1636-1644页(2013)
[23] Xu,W.、Liang,W.,Lin,X.、Mao,G.、Ren,X.:通过部署多个移动无线充电器实现永久传感器网络。摘自:《第四十三届国际比较项目会议记录》,第80-89页(2014年)
[24] 周,P。;王,C。;Yang,Y.,无线可充电传感器网络中的静态和移动目标k覆盖,IEEE Trans。移动计算。,18, 10, 2430-2445 (2019) ·doi:10.1109/TMC.2018.2872576
[25] Kim,A.,《可视化快速采样与订购保证》,PVLDB,8,5,521-532(2015)
[26] Kim,WY,脏数据分类,KDD,7,1,81-99(2003)
[27] Little,RJA,《缺失数据的统计分析》(1986年),霍博肯:威利,霍博克
[28] Luo,Y.,et al.:深海:走向自动数据可视化。In:ICDE(2018)
[29] Mafrur,R.等人:潜水:视觉数据探索的多样化视图建议。致:CIKM(2018)
[30] 曼宁,C.D.等人:《信息检索导论》。剑桥(2008)·兹比尔1160.68008
[31] Miao,X.,SI2P:使用偏好查询而非不完整信息的餐厅推荐系统,PVLDB,9,13,1509-1512(2016)
[32] Mirkin,B.,《分裂和独立集群结构》,核心数据分析:总结、关联和可视化,405-475(2019),查姆:斯普林格,查姆·doi:10.1007/978-3-030-00271-85
[33] Park,Y.等人:超大数据库的Viz感知采样。In:ICDE(2016)
[34] Siddiqui,T.,《用zenvisage轻松进行数据探索:一个表达性和交互式视觉分析系统》,PVLDB,10,4,457-468(2016)
[35] Tang,B.等人:从多维数据中提取top-k见解。在:SIGMOD(2017)
[36] Vartak,M.等人:SEEDB:支持可视化分析的高效数据驱动可视化建议。致:PVLDB(2015)
[37] 韦伯,W.,《不确定排名的相似性度量》,TOIS,28,4,20-38(2010)·数字对象标识代码:10.1145/1852102.1852106
[38] Wu,C.等:使用关联规则来完成缺失数据。输入:HIS(2004)
[39] Zhang,A.,不完全数据聚合查询的区间估计,J.Compute。科学。技术。,34, 6, 1203-1216 (2019) ·doi:10.1007/s11390-019-1970-4
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。