×

简化

swMATH ID: 4976
软件作者: Detlefs,D。;Nelson,G。;J·B·萨克斯
描述: 扩展静态检查。本文概述了扩展静态检查(ESC),这是一项新技术,我们在康柏(née Digital)系统研究中心研究了20世纪90年代的大部分时间。我们已经实现并测试了两个扩展静态检查器,一个用于Modula-3,另一个用于Java。ESC的目的是通过为程序员提供实用的静态检查工具来提高软件生产率。通常,静态检查以静态方式查找错误,即不运行程序,因此可以在设计过程中比测试等动态检查更早地查找错误。由于如果及早检测到错误,那么纠正错误的成本就会降低,因此改进的静态检查有可能提高软件生产效率。
主页: http://www.kindsoftware.com/products/opensource/Simplify/
编程语言: 模块III
相关软件: z3型;电子稳定控制系统/Java;规格#;布吉;PVS公司;SMT-LIB公司;CVC4型;Yices公司;cvc3型;JML公司;Coq公司;Why3号机组;卡拉卡拉;;吸血鬼;达夫尼;E定理证明器;FOCI公司;伊莎贝尔/HOL;Caduceus公司
引用于: 135文件
全部的 前5名

248位作者引用

11 Leino,K.Rustan M。
8 玛丽亚·保拉(Maria Paola Bonacina)
8 塞萨尔·蒂内利
7 莱昂纳多·德·莫拉
6 克拉克·W·巴雷特。
6 西尔维奥·兰伊斯
6 安德鲁·雷诺兹
5 亚历山德罗·西马蒂
5 维克多·昆卡
5 德坎·特兰
4 丹尼尔·科宁
4 菲利普·吕默
亚历山德罗·阿曼多
鲍尔,托马斯
阿明·比尔
尼古拉·S·比约纳。
罗伯特·布鲁托梅索
穆纳乔·埃切宁
弗拉纳根,科马克
帕斯卡·方丹
拉希里、舒文杜·库马尔
彼得·米勒
克里斯托夫·林盖森
詹姆斯·B·萨克斯。
沃尔夫拉姆·舒尔特
罗伯托·塞巴斯蒂亚尼
娜塔莎·莎莉吉娜
2 回来了,拉尔夫·约翰
2 哈尼尔·巴博萨
2 Böhme,萨沙
2 Sylvain Conchon公司
2 Deters,摩根
2 Detlefs,David L。
2 克莱尔·德罗斯
2 Jean-Christophe Filliátre
2 葛叶婷
2 阿尔贝托·格里乔
2 托马斯·亨辛格(Thomas A.Henzinger)。
2 胡亚伦·J·。
2 安蒂·E·J·海瓦·里宁。
2 兰吉特·贾拉
2 穆阿·约翰逊
2 赫莱内·基什内尔
2 马特奥·马雷斯科蒂
2 肯尼思·麦克米兰。
2 米查·莫斯卡尔
2 马丹拉尔·穆苏瓦蒂
2 Necula,George C。
2 格雷格·纳尔逊
2 阮秀海
2 沙兹·卡迪尔
2 Rajamani,Sriram K。
2 穆利萨吉夫
2 斯蒂芬·舒尔茨
2 桑吉特·阿伦库马尔·塞希亚
2 Natarajan Shankar
2 本杰明·韦斯
2 沃尔夫,伯克哈特
1 阿格森,奥莱
1 弗朗西斯科·阿尔贝蒂
1 Alt,Leonardo S。
1 安妮迪亚·班纳吉
1 曼纽尔·巴博萨
1 Michael A.Benedikt。
1 乔什·伯丁
1 马丁·伯杰(Martin J.Berger)。
1 伦纳特·贝林格
1 弗雷德里克·贝松
1 拉尔斯·比克达尔
1 布兰奇,桑德琳
1 马尔科·博扎诺
1 Brillout,安吉洛
1 布鲁姆利,比利·鲍勃
1 罗伯特·布鲁迈耶
1 格伦·布伦斯
1 Randal E.布莱恩特。
1 纪尧姆·贝尔
1 纪尧姆·伯里
1 弗兰克·巴特勒
1 Cañete-Valdeón,JoséM。
1 拉斐尔·考德利埃
1 尚德,阿杰
1 纳撒尼尔查尔顿
1 魏恩根·钦
1 克拉克(Edmund Melson jun Clarke)。
1 拜伦·库克
1 皮埃尔·埃马纽埃尔·科尼劳
1 帕特里克·库索特
1 拉迪亚·库索特
1 大卫·J·柯里。
1 Das、Satyaki
1 克里斯蒂娜·大卫
1 大卫·德拉哈耶
1 斯特凡·迪什
1 巴勃罗·费德里科·多巴尔
1 索菲亚·德罗索波洛
1 布鲁诺·杜特雷
1 马尔科·艾尔斯
1 苏珊·艾森巴赫
1 约琴·艾辛格
…还有148位作者

按年份列出的引文