×

莫德

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

656位作者引用

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

按年份列出的引文