×

莫德

swMATH ID: 6233
软件作者: Clavel,M。;杜兰,F。;艾克,S。;林肯,P。;新墨西哥州马丁·奥列特。;莫德团队
描述: Maude是一种高性能反射语言和系统,支持方程式和重写逻辑规范以及广泛应用程序的编程。莫德受到了OBJ3语言的重要影响,OBJ3可以被视为等式逻辑子语言。除了支持等式规范和编程外,Maude还支持重写逻辑计算。
主页: http://maude.cs.uiuc.edu/overview.html
相关软件: OBJ咖啡馆;OBJ3型;ELAN公司;哈斯克尔;CASL公司;Coq公司;ITP公司;K校准仪;西洋陆军棋;PMaude公司;爪哇风扇;AProVE公司;MTT公司;莫德-NPA;PVS公司;自旋蛋白;PVeStA公司;MMT公司;Uppaal公司;伊莎贝尔
引用于: 619出版物
全部的 前5名

634位作者引用

143 何塞·梅塞盖尔·瓜伊塔
47 格里高·罗什乌
46 马丁·奥列特,纳西索
35 弗朗西斯科·杜兰
32 圣地亚哥埃斯科瓦尔
32 萨尔瓦多卢卡斯
31 玛丽亚·阿尔普特
27 卡罗琳·塔尔科特。
26 阿尔贝托·维尔德乔
24 多雷尔·卢卡努
21 Peter Csaba,Olveczky
19 曼纽尔·克莱维尔
19 史蒂文·艾克
16 阿德里安·里斯科
15 黛米斯·巴利斯
14 埃纳尔·布罗赫·约翰森
13 罗伯托·布鲁尼
13 Owe、Olaf
13 米盖尔·帕洛米诺
13 伊莎贝尔·皮塔
13 卡米洛·罗查
12 赫莱内·基什内尔
12 Kazuhiro绪方
12 朱莉娅·萨皮娜
11 加布里埃尔·乔巴努
11 ☑特拉安·弗洛林(Traian Florin)
10 劳尔·古铁雷斯
10 弗拉德·鲁苏
10 马克·奥利弗·斯特尔
9 帕特里克·D·林肯。
9 乌戈·蒙塔纳里。
9 马丁·威尔辛
8 高基町五指
7 奥纳·安德烈
7 安德烈·阿鲁索艾
7 弗朗西斯科·弗雷奇纳
6 安德烈·斯克洛夫
5 伊利亚诺·塞维萨托
5 德波尔(Frank S。
5 拉兹万·迪亚科内斯库
5 莫雷诺,法拉斯基
5 伊莎贝·格尼迪格
5 克洛德·基什内尔
5 彼得·莫塞斯(Peter D.Mosses)。
5 塞萨尔·穆尼奥斯。
5 Vivek Nigam先生
5 鲁宾·鲁比奥
5 安德烈·特夫内斯库
5 普拉桑纳·塔蒂
4 阿勒科恩,比阿特丽兹
4 艾琳娜·莫瑞卡
4 Bae,Kyungmin先生
4 马西莫·巴托莱蒂
4 David A.Basin。
4 克里斯蒂亚诺·布拉加
4 拉斐尔·卡巴列罗(Rafael E.Caballero)。
4 乔治亚娜·卡尔泰斯
4 霍雷修·西尔斯泰
4 安吉尔·昆卡-奥尔特加
4 Denker,砂砾
4 阿扎德法尔赞
4 法比奥·加杜奇
4 丹尼尔·加恩
4 托马斯·杰奈特
4 欧根·伊安·戈里亚克
4 奥赞·卡拉马诺·乌拉尔
4 迪帕克·卡普尔
4 刘,思
4 奥斯卡·马汀
4 凯瑟琳·梅多斯。
4 斯蒂芬·斯基里克
加布里埃尔·阿奎莱拉
法哈德·阿尔巴
作为阿沃,米哈伊尔
阿塞特夫·诺艾,勒克雷米奥拉
阿黛尔·布胡拉
瑟·特凡·乔巴赫
哈维尔·埃斯佩特
斯蒂芬·福克
奥利维尔·菲索
北卡罗来纳州哈曼。
克劳斯·哈维隆德
乔·亨德里克斯
何塞·伊波拉
Jean-Pierre Jouannaud
迈克尔·凯特尔曼
亚历山大·纳普
乌尔里克·莱什内尔
李国强
阿尔贝托·卢什·拉富恩特
克劳德·马奇
皮埃尔·埃蒂安·莫罗
蒂尔·莫萨科夫斯基
任尚平
胡安·罗德里格斯·霍塔拉
迪利亚·E·罗德里格斯。
丹尼尔·罗梅罗(Daniel M.Romero)。
格温·萨拉恩
拉尔夫·萨西
鲁道夫·施拉特
…还有534名作者

按年份列出的引文