汤姆 swMATH ID: 9814 软件作者: 艾米莉·巴拉德;保罗·布劳纳;Radu Kopetz;Pierre-Etienne Moreau;安托万·雷尔斯 说明: 汤姆:Piggybacking重写Java。我们介绍了Tom语言,它扩展了Java,目的是提供受重写社区启发的高级构造。Tom在通用语言和使用重写的更高级别规范之间架起了一座桥梁。这种方法的动机是促进重写技术及其在大规模应用中的集成。强大的匹配功能和丰富的策略语言是Tom的强项之一,使其易于使用,并与其他基于规则的语言相竞争。 主页: http://link.springer.com/chapter/10.1007/978-3-540-73449-9_5 相关软件: 西洋陆军棋;莫德;ASF+SDF;ELAN公司;ORME公司;PMaude公司;PORGY公司;哈斯克尔;AProVE公司;K校准仪;LTSmin公司;PSMaude公司;第2组;遮阳板;AGG公司;沟槽;数学软件;TXL(热膨胀);HOCL公司;ATERM公司 引用于: 24文件 全部的 前5名48位作者引用 7 赫莱内·基什内尔 5 奥纳·安德烈 4 鲁本·卢比奥 三 马丁·奥列特,纳西索 三 皮埃尔·埃蒂安·莫罗 三 阿尔贝托·维尔德乔 2 霍雷修·西尔斯泰 2 史蒂文·艾克 2 玛丽贝尔·费尔南德斯 2 何塞·梅塞盖尔·瓜伊塔 2 布鲁诺·皮诺 2 伊莎贝尔·皮塔 1 巴赫,Jean-Christophe 1 艾米莉·巴拉德 1 瓦利德·贝尔基尔 1 加布里埃尔·乔巴努 1 詹姆斯·科迪。 1 马特杰·德·琼格 1 Besik Dundua 1 弗朗西斯科·杜兰 1 吕克·恩格伦 1 弗朗索瓦·法赫斯 1 马里奥弗洛里多 1 阿兰·乔治蒂 1 克莱门·赫林 1 莉莉亚娜·伊巴内斯库 1 杰·巴里 1 卡尔·特里格夫 1 Lennart C.L.Kats。 1 克洛德·基什内尔 1 拉杜·科佩茨 1 马西耶·库特尼 1 特默尔库西亚 1 米歇尔·伦茨纳 1 Lermusiaux,皮埃尔·F·J。 1 多雷尔·卢卡努 1 马林·米尔恰 1 马丁·朱利安 1 何塞·努诺·马塞多 1 R·丹尼尔·莱斯勒 1 曼努埃尔·罗丹 1 乔·汤姆·萨拉瓦 1 杰森·斯格尔斯 1 贾森·瓦莱特 1 范登·布兰德,Mark G.J。 1 马科斯·维埃拉 1 埃尔科·维瑟 1 维特·L·温特。 全部的 前5名引用于7个系列 三 程序设计中的逻辑和代数方法杂志 2 符号计算杂志 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 1 计算机语言、系统和结构 全部的 前5名在7个字段中引用 24 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 2 生物学和其他自然科学(92-XX) 1 组合数学(05-XX) 1 偏微分方程(35-XX) 1 数值分析(65-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文