×

查找

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位作者

按年份列出的引文