生锈 swMATH ID: 28437 软件作者: Mozilla;格雷登·霍尔 描述: Rust编程语言。 主页: https://www.rust-lang.org/ 相关软件: 铁锈地带;Coq公司;github;工具链;VCC(沃尔沃汽车公司);z3(零3);哈斯克尔;规格#;毒蛇;Frama-C公司;VeriFast公司;SeaHorn公司;蟒蛇;斯卡拉;结壳;CVC4型;达夫尼;麻糬;蛋糕ML;VST-弗洛伊德 引用于: 32文件 全部的 前5名90位作者引用 2 拉尔斯·比克达尔 1 纪尧姆·阿拉伊斯 1 西德尼·阿曼尼 1 丹尼尔·安尼科夫 1 安德鲁·W·阿佩尔。 1 马雷克·巴拉诺夫斯基 1 Lennart贝林格 1 阿列舍·比兹亚克 1 曹勤祥 1 亚瑟·查古埃罗 1 陈子林 1 利迪亚·切尔尼戈夫斯卡娅 1 庄成恩 1 安德烈亚·科斯蒂亚 1 乌戈·达尔拉戈 1 达斯,安库什 1 汉斯·德·尼维尔 1 特拉华州,本杰明 1 亨利·德扬 1 罗伯特·H·迪克森。 1 多科,马尔科 1 德雷尔,德里克·R。 1 约瑟夫·埃雷蒙迪 1 马可·费拉 1 格里戈里·费迪尤科维奇 1 杰克·J·加泽拉。 1 弗朗西斯科·加瓦佐 1 保拉·吉安尼尼 1 西蒙·奥德谢德·格雷格森 1 林赛·格罗夫斯。 1 何绍波 1 迈克尔·海卢斯 1 格兰特·伊拉西 1 雅克·亨利·乔尔丹 1 拉尔夫·荣格 1 格温·克莱恩 1 直纪小林 1 尼古拉·科马托夫 1 罗伯特·克雷伯斯 1 莫滕·克罗格·杰斯佩森 1 泽珊·拉哈尼 1 彼得·兰米奇 1 科西莫·拉内夫 1 门闩,Dana May 1 贾菲斯·林姆 1 弗雷德里克·卢勒格 1 李,达拉 1 科尔·马丁罗西安 1 丹尼尔·马歇尔。 1 松下幸助 1 米克尔·米洛 1 安德烈亚·莫迪多 1 托比·默里 1 Yutaka长岛 1 尼尔森,雅各布·博茨 1 利亚姆·奥康纳 1 玛丽特·埃德娜·奥伦布施 1 布鲁诺·C·d·S·奥利维拉。 1 多米尼克·A·乌节。 1 Gennaro帕拉托 1 大卫·J·皮尔斯。 1 弗兰克,普芬宁 1 纳迪亚·波里卡波娃 1 弗朗索瓦·波蒂埃 1 茨沃尼米尔·拉卡马里奇 1 Anton Rechenauer公司 1 克里斯汀·里兹卡拉 1 莱恩·伦瑞奇 1 汤姆·施里杰弗斯 1 伊利亚·谢尔盖 1 马可·塞韦托 1 托马斯·D·休厄尔。 1 辛戈尔斯,朱利安 1 保罗·西维洛蒂。 1 溅出物,Bas 1 陶一成 1 阿明·蒂曼尼 1 津田,武士 1 马克·乌廷 1 维克托·瓦菲亚迪斯 1 德国维达尔 1 迈克尔·沃尔默 1 菲利普·李·沃德勒 1 罗尔夫·沃尔迪 1 叶千川 1 卢卡斯·扎瓦利亚 1 Michael K·张。 1 朱,艾米 1 卢卡斯·齐亚雷克 1 埃琳娜·祖卡 全部的 前5名7篇连载文章中引用 4 函数编程杂志 1 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 1 自动推理杂志 1 国际代数与计算杂志 1 系统设计中的形式化方法 1 程序设计中的逻辑和代数方法杂志 1 Modelirovanie i Analiz信息系统 在5个字段中引用 30 计算机科学(68至XX) 16 数学逻辑和基础(03-XX) 1 数论(11-XX) 1 范畴理论;同调代数(18-XX) 1 群论与推广(20-XX) 按年份列出的引文