MTT法 swMATH ID: 9783 软件作者: Durán,F.,Lucas,S.,Meseguer,J。 描述: MTT:Maude终端工具。尽管重写终止理论有了显著的发展,但它在高级编程语言中的应用远未达到最佳状态。这是因为需要一些特性,如条件方程和规则、类型和子类型、(可能是可编程的)控制执行的策略、匹配模公理等,这些特性在许多程序中使用,并且往往会将这些程序置于当前终止工具的范围之外。这些特征的操作含义通常通过推理系统而不是仅仅通过重写关系以证明理论的方式形式化。特别是,广义重写理论(GRT)是最近对重写理论的概括,是莫德最新公式的核心。 主页: http://link.springer.com/chapter/10.1007/978-3-540-71070-77_27 依赖项: 莫德 相关软件: 莫德;AProVE公司;OBJ3型;OBJ咖啡馆;莫德-NPA;多终端;哈斯克尔;CRC 3型;ITP公司;塔马林;蒂罗尔(Tyrolean);CASL公司;第3章;标准立方厘米;GLINTS公司;幼儿保育和教育;NRL公司;ACUOS2号机组;VMTL公司;MFE公司 引用于: 27文件 全部的 前5名33位作者引用 14 何塞·梅塞盖尔·瓜伊塔 9 萨尔瓦多卢卡斯 8 弗朗西斯科·杜兰 6 圣地亚哥埃斯科瓦尔 5 玛丽亚·阿尔普特 三 黛米斯·巴利斯 三 马丁·奥列特,纳西索 三 朱莉娅·萨皮娜 2 劳尔·古铁雷斯 2 何塞·伊波拉 2 米盖尔·帕洛米诺 1 路易斯·安东尼奥·阿吉雷 1 阿勒科恩,比阿特丽兹 1 亚历山德罗·阿曼多 1 彼得·鲍姆加特纳 1 阿黛尔·布胡拉 1 曼纽尔·克莱维尔 1 米海·Codescu 1 马可·科米尼 1 Gilles Dowek 1 史蒂文·艾克 1 莫雷诺,法拉斯基 1 佛罗伦萨·杰克马尔 1 帕特里克·D·林肯。 1 多雷尔·卢卡努 1 克里斯蒂安·梅德 1 蒂尔·莫萨科夫斯基 1 拉斐尔·纳瓦罗·马塞特 1 伊莎贝尔·皮塔 1 阿德里安·里斯科 1 卡米洛·罗查 1 格里高·罗什乌 1 卡罗琳·塔尔科特。 全部的 前5名8篇连载文章中引用 4 程序设计中的逻辑和代数方法杂志 2 理论计算机科学 2 自动推理杂志 2 逻辑与代数程序设计杂志 1 IGPL逻辑杂志 1 逻辑程序设计理论与实践 1 应用逻辑杂志 1 计算机科学课堂讲稿 在4个字段中引用 27 计算机科学(68至XX) 7 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 1 历史和传记(01-XX) 按年份列出的引文