查找

程序证明:查找。证明了“Find”算法的正确性。首先,对程序的目的和所使用的方法进行了非正式的描述。本文描述了一种在编码过程中构造程序证明的系统技术,以防止逻辑错误的侵入。终止证明被视为一项单独的工作。最后,得出了一些与一般程序设计方法有关的结论。


zbMATH中的参考文献(参考文献84篇文章)

显示84个结果中的1到20个。
按年份排序(引用)
  1. 杜米特雷斯库,阿德里安:寻找一个平庸的球员(2021)
  2. 陈科;Dumitrescu,Adrian:小群体选择算法(2020)
  3. 埃德尔坎普,斯特凡;世界环境学会ß, 阿敏;Wild,Sebastian:QuickXsort:理论与实践中的快速排序方案(2020)
  4. 费勒,卡尔·马丁;总督,德克:Dö具有最小基数的rfler标记是一个线性复杂度问题(2020)
  5. 阿普特,Krzysztof R。;奥尔德罗,恩斯特-Rü迪格:《霍尔逻辑五十年》(2019)
  6. 杜米特雷斯库,阿德里安:一个可选择的草堆(2019)
  7. 葛存菁;妈妈,菲菲;张鹏;张健:SMT(LA)约束解空间的计算与估计(2018)
  8. Goldstein,Larry:Quickselect算法运行时间的Dickman近似的非渐近分布界(2018)
  9. 云,柯克伍德;Huber,Mark:Vervaat永久性快速完美模拟(2017)
  10. Hook,James:Max plus代数统计杠杆分数(2017)
  11. 琼斯,克里夫B.:图灵1949年的论文背景(2017年)
  12. Kü莱克奇,M。Oğ乌江;Thankachan,Sharma V.:数据感知时空中的范围选择和前置查询(2017)
  13. 非政府组织、Phuc;坚木智子;杉本昭弘;塔尔伯特,雨果;2017年帕萨特局部搜索法
  14. 巴比,Jéré我的;安库古普塔;萨蒂,斯里尼瓦萨·拉奥;Sorenson,Jon:《内外记忆中的近最优在线多重选择》(2016)
  15. 费尔特曼,尼古拉斯;安圭利,卡罗;Acar,乌姆特A。;Fatahalian,Kayvon:自动拆分两阶段lambda演算(2016)
  16. 尼贝尔,马库斯E。;狂野,塞巴斯蒂安;市场ínez,Conrado:《双支点快速排序中的支点抽样分析:雅罗斯拉夫斯基分区方案的整体分析》(2016)
  17. 狂野,塞巴斯蒂安;尼贝尔,马库斯E。;Mahmoud,Hosam:Yaroslavskiy双枢轴算法下的quickselect分析(2016)
  18. 克罗切莫尔,马克西姆;格罗西,罗伯托;Kärkk公司ä伊宁,朱哈;Landau,Gad M.:在小空间内计算Burrows-Wheeler变换(2015)
  19. 阿莫森,拉斯穆斯瑞森;坎帕尼亚,安德里亚;Pagh,Rasmus:稀疏矩阵产品的更好尺寸估计(2014)
  20. 阿马利亚公爵;吉姆é尼兹,罗莎·M。;市场ínez,Conrado:K维二叉搜索树中的排名选择(2014)