查找

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


zbMATH参考文献(参考 82篇文章 参考)

显示第1到第20个结果,共82个。
按年份排序(引用)
  1. Edelkamp,Stefan;Weiß,Armin;Wild,Sebastian:QuickXsort:理论与实践中的快速排序方案(2020)
  2. 普费勒,卡尔·马丁;总督,德克:德勒最小基数标记是一个线性复杂问题(2020)
  3. 《五十年前的苏尔逻辑》;2019年的《苏伊尔逻辑》;阿普特·苏尔格(StüR,StüR.)
  4. 杜米特雷斯库,阿德里安:一个可选择的草堆(2019)
  5. 葛存晶;马飞飞;张鹏;张健:计算和估计SMT(LA)约束解空间的体积(2018)
  6. Goldstein,Larry:Quickselect算法运行时间的Dickman近似的非渐近分布界(2018)
  7. 克洛德,柯克伍德;休伯,马克:凡瓦特永续的快速完美模拟(2017)
  8. Hook,James:Max plus代数统计杠杆分数(2017)
  9. 琼斯,克里夫B.:图灵1949年的论文背景(2017年)
  10. Külekci,M.Oízan;Thankachan,Sharma V.:数据感知时空中的范围选择和前置查询(2017)
  11. Ngo,Phuc;Kenmochi,Yukiko;Sugimoto,Akihiro;Talbot,Hugues;Passat,Nicolas:离散刚性注册:局部图搜索方法(2017)
  12. Barbay,Jérémy;Gupta,Ankur;Satti,Srinivasa Rao;Sorenson,Jon:内部和外部记忆中的近似最优在线多重选择(2016)
  13. Nicolas Feltman;Angiuli,Carlo;Acar,Umut A.;Fatahalian,Kayvon:自动拆分两阶段lambda演算(2016)
  14. Nebel,Markus E.;Wild,Sebastian;Martínez,Conrado:dual pivot Quicksort中的枢轴抽样分析:雅罗斯拉夫斯基分区方案的整体分析(2016)
  15. Wild,Sebastian;Nebel,Markus E.;Mahmoud,Hosam:Yaroslavskiy双枢轴算法下的quickselect分析(2016)
  16. Crochemore,Maxime;Grossi,Roberto;Kärkkäinen,Juha;Landau,Gad M.:就地和小空间内计算Burrows-Wheeler变换(2015)
  17. Amossen,Rasmus Resen;Campagna,Andrea;Pagh,Rasmus:稀疏矩阵产品的更好尺寸估计(2014)
  18. Duch,Amalia;Jiménez,Rosa M.;Martínez,Conrado:K维二叉搜索树中的排名选择(2014)
  19. Ragab,Mahmoud;Roesler,Uwe:快速排序过程(2014)
  20. Smirnov,Pavel O.;Shevlyakov,Georgy L.:基于(Q_n)的快速高效和稳健的一步(M)-尺度估计量(2014)