胡迪尼 swMATH ID: 19490 软件作者: 弗拉纳根C,莱诺KRM 描述: 胡迪尼,ESC/Java的注释助手。执行模块检查的静态程序检查器可以检查一个程序模块的错误,而无需分析整个程序。模块检查要求每个模块都附有指定模块的注释。为了帮助降低编写规范的成本,本文介绍了Houdini,它是模块化检查器ESC/Java的注释助手。为了为给定的程序推断合适的ESC/Java注释,Houdini生成了大量候选注释,并使用ESC/Java验证或反驳每个注释。本文介绍了胡迪尼的设计、实现和初步评估。 主页: http://dl.acm.org/citation.cfm?id=730008 相关软件: Daikon公司;电子稳定控制系统/Java;z3(零3);c2i公司;规格#;卡拉卡拉;布吉;简化;JML公司;艾菲尔;火花;落叶松;PVS公司;砰的一声;VCC(沃尔沃汽车公司);Why3号机组;垫片;佩里普洛;CBMC公司;SymDiff公司 引用于: 26文件 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 胡迪尼是ESC/Java的注释助手。 Zbl 0977.68671号科马克·弗拉纳根;Leino,K.Rustan M。 2001 全部的 前5名被68位作者引用 三 拉希里、舒文杜·库马尔 三 沙龙·肖姆 2 格里戈里·费迪尤科维奇 2 约塔姆·M·Y·费尔德曼。 2 普拉纳夫·加格 2 Leino,K.Rustan M。 2 帕塔萨拉西马杜苏丹 2 彼得·米勒 2 丹尼尔·奈德 2 娜塔莎·莎莉吉娜 1 亚历克斯·艾肯 1 塞皮德·阿萨迪 1 鲍、贾璐 1 珍妮特·巴恩斯 1 马丁·布利查 1 拉斯蒂斯拉夫·博迪克 1 艾哈迈德·博阿贾尼 1 韦尔·阿明(Wael-Amine)Boutglay 1 查克拉波蒂,苏普拉特克 1 罗德里克·查普曼 1 安德鲁·库克。 1 特拉华州,本杰明 1 罗伯特·H·迪克森。 1 比尔·J·埃利斯。 1 皮埃特罗·费拉拉 1 科马克·弗拉纳根 1 卡洛·阿尔贝托·福里亚 1 阿什图什·古普塔 1 彼得·哈贝梅尔 1 何少波 1 贾斯汀·徐 1 安蒂·E·J·海瓦·里宁。 1 Atsushi Igarashi 1 赤泉伊马尼西 1 爱尔兰,安德鲁 1 沙迦·伊扎基 1 兰吉特·贾拉 1 塞缪尔·考夫曼。 1 小岛贤介 1 丹尼尔·科宁 1 Gary T.Leavens。 1 杰罗姆·勒鲁 1 克里斯托夫·Löding 1 弗朗西斯科·洛戈佐 1 克劳德·马奇 1 迈耶,伯特兰 1 扬尼克·莫伊 1 Park,大军 1 德拉什蒂·巴沙克 1 希拉·佩勒 1 安德烈亚斯·波德尔斯基 1 沙兹·卡迪尔 1 茨沃尼米尔·拉卡马里奇 1 罗伊,苏巴吉特 1 菲利普·吕默 1 安德烈·里巴尔琴科 1 Shambwaditya萨哈 1 拉胡尔·沙尔马 1 Subotic,铺面 1 斯特凡诺·托内塔 1 奈特什·特里维迪 1 阿里亚克西·齐托维奇 1 迪夫耶什·乌纳德卡特 1 朱利安·瓦内格 1 Christoph M.温特斯泰格。 1 埃兰·雅哈夫 1 叶千川 1 Michael K·张。 全部的 前5名6篇连载文章中引用 5 系统设计中的形式化方法 4 自动推理杂志 2 信息学报 1 符号计算杂志 1 计算的形式方面 1 计算机语言、系统和结构 在2个字段中引用 26 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 按年份列出的引文