查找 swMATH ID: 21614 软件作者: C.A.R.霍尔 描述: 程序证明:查找。证明了算法“Find”的正确性。首先,对程序的目的和使用的方法进行了非正式描述。本文描述了一种在编码过程中构造程序证明的系统技术,以防止逻辑错误的入侵。终止证明被视为一项单独的工作。最后,得出了与一般规划方法有关的一些结论。 主页: https://dl.acm.org/citation.cfm?id=362489 相关软件: 快速排序;算法347;九分之一;算法489;蟒蛇;Coq公司;隔板;GPU快速排序;MoMQuickMergesort公司;NQTHM公司;MUMPS公司;本征;炒作;FEniCS公司;PETSc公司;快速堆(QuickHeapsort);阿尔戈60;z3(零3);PVS公司;马利扬 引用于: 90文件 全部的 前5名被166位作者引用 5 康拉多·马丁内斯 4 阿德里安·杜米特里斯库 4 赫尔穆特·普罗丁格 3 詹姆斯·艾伦(James Allen) 3 马哈茂德,霍萨姆·M。 3 Wild,塞巴斯蒂安 2 陈、柯 2 马科斯·科尔布鲁克 2 Luc P.J.A.Devroye。 2 Jean-Christophe Filliátre 2 马哈茂德·福兹 2 鲁道夫·格里贝尔 2 曼弗雷德·库夫莱特纳 2 博多·马奈 2 J.Ian Munro 2 中山隆彦 2 马库斯·内贝尔(Markus E.Nebel)。 2 阿洛伊斯州Panholzer 2 乌韦·罗斯勒 2 Joaquín西西里岛 2 尼玛·泽尼·贾罗米 2 张健 1 阿卡尔(Umut A.Acar)。 1 唐纳德·艾利森(Donald C.S.Allison)。 1 穆罕默德·H·阿尔苏瓦伊尔(Muhammad H·Alsuwaiyel)。 1 阿莫森,拉斯穆斯·里森 1 詹姆斯·安德森。 1 卡洛·安吉利 1 Krzysztof Rafal公寓 1 乌尔夫阿萨森 1 多尔·阿兹蒙 1 回来了,拉尔夫·约翰 1 杰雷米·巴贝 1 马可·贝利亚 1 曼纽尔·布卢姆 1 圣埃芬·皮埃尔·阿兰·博尔达斯 1 法学家博尔佐夫斯 1 Bose,Prosenjit K。 1 拉斐尔·布勒 1 安德烈亚·坎帕尼亚 1 坎通纳,多梅尼科 1 陈梦强 1 陈,乔 1 陈伟美 1 弗兰茨·乔利 1 吉安卢卡·辛科蒂 1 科克伍德·克劳德 1 威廉·库克。 1 马克西姆·克罗西莫尔 1 沃尔特·库托 1 布莱恩·C·迪安。 1 乌玛·马赫斯瓦里·C·德维。 1 阿马利亚·杜赫 1 斯特凡·爱德坎普 1 延斯·艾瑟特 1 大卫·约翰·埃文斯 1 卡冯·法塔哈利安 1 阿里尔·费尔纳 1 尼古拉斯·费尔特曼 1 阿克塞尔·弗林斯 1 罗伯特·W·弗洛伊德。 1 盖法斯,斯特芬 1 葛存静 1 Gaston H.Gonnet。 1 Teofilo F.冈萨雷斯。 1 格罗斯,本尼迪克特·海曼 1 罗伯托·格罗西 1 郭斌斌 1 安库尔·古普塔 1 查亚·布利奇·古尔维茨 1 何塞·米盖尔·古铁雷斯 1 杰克·S·黑尔。 1 克里斯蒂娜·汉森。 1 彼得·亨德森。 1 海曼斯,F。 1 马克·休伯(Mark L.Huber)。 1 Igarashi、Shigeru 1 塔伊贝·贾哈尼·内扎德 1 焦祥民 1 罗莎·M·吉梅内斯(Rosa M.Jiménez)。 1 唐纳德·约翰逊。 1 克利夫·琼斯。 1 Audris卡林斯 1 卡卡尼恩,朱哈 1 I.V.卡萨基纳。 1 川端康成 1 Yukiko Kenmochi 1 大卫·基钦 1 Kiwiel、Krzysztof Czesław 1 斯文·柯尼格 1 邝迪 1 马库斯·库巴。 1 穆罕默德·奥扎恩·库勒科奇 1 Gad M.兰道。 1 德赛·李 1 卡尔·莱维特。 1 李娇阳 1 林天庆 1 伦敦,拉尔夫·L·。 1 阿列克谢·洛津斯基 …还有66位作者 全部的 前5名43篇连载文章中引用 11 理论计算机科学 7 算法 4 信息学报 4 信息处理信件 3 人工智能 3 离散应用数学 3 比特币 3 离散算法杂志 3 比特。Nordisk信息处理Tidskrift 2 信息科学 2 计算机与系统科学杂志 2 应用概率年鉴 2 计算几何 1 应用概率的进展 1 计算机与数学及其应用 1 IEEE信息理论汇刊 1 计算数学 1 ACM数学软件汇刊 1 应用数学与计算 1 卡尔科洛 1 计算 1 国际计算机与信息科学杂志 1 控制论 1 计算机程序设计科学 1 复杂性杂志 1 信息与计算 1 计算机与运筹学 1 SIAM矩阵分析与应用杂志 1 计算的形式方面 1 并行与分布式计算杂志 1 实时系统 1 随机结构与算法 1 国际计算机科学基础杂志 1 离散数学与应用 1 随机过程及其应用 1 计算统计与数据分析 1 RAIRO公司。Informatique Théorique et Applications公司 1 概率电子杂志 1 RAIRO公司。理论信息学及其应用 1 算法 1 统计与计算 1 计算机科学评论 1 ISRN组合数学 全部的 前5名在15个字段中引用 82 计算机科学(68至XX) 8 概率论与随机过程(60-XX) 8 数值分析(65-XX) 3 数学逻辑和基础(03-XX) 3 统计学(62-XX) 2 组合数学(05-XX) 2 线性代数和多线性代数;矩阵理论(15-XX) 2 运筹学、数学规划(90-XX) 1 历史和传记(01-XX) 1 偏微分方程(35-XX) 1 近似值和展开值(41-XX) 1 可变形固体力学(74-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文