西洋陆军棋 swMATH ID: 1259 软件作者: 埃尔科·维瑟 描述: Stratego/XT是一种用于程序转换的语言和工具集。Stratego语言提供了用于表示基本转换的重写规则、用于控制规则应用的可编程重写策略、用于在目标语言语法中表示规则模式的具体语法,以及用于表示上下文相关转换的动态重写规则,从而在高抽象级别上支持转换组件的开发。 主页: http://www.program-transformation.org/Stratego/WebHome网站 编程语言: Java语言 操作系统: 多平台 相关软件: 莫德;汤姆;ELAN公司;哈斯克尔;ASF+SDF;ATERM公司;OBJ3型;贾斯特阿德;TXL(热膨胀);ANTLR公司;孢子虫;OBJ咖啡馆;K校准仪;PMaude公司;Coq公司;TAMPR公司;GHC公司;PORGY公司;息肉;毫升 引用于: 77文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 Stratego:一种基于重写策略的程序转换语言。Stratego 0的系统描述。5 Zbl 0981.68679号埃尔科·维瑟 2001 全部的 前5名140位作者引用 11 埃尔科·维瑟 10 赫莱内·基什内尔 7 马丁·奥列特,纳西索 6 何塞·梅塞盖尔·瓜伊塔 6 阿尔贝托·维尔德乔 5 鲁宾·鲁比奥 5 范登·布兰德,Mark G.J。 5 Jurgen J.文朱。 4 奥纳·安德烈 4 格里高·罗什乌 三 马丁·布拉文波尔 三 弗朗西斯科·杜兰 三 史蒂文·艾克 三 玛丽贝尔·费尔南德斯 三 皮埃尔·埃蒂安·莫罗 三 伊莎贝尔·皮塔 三 ☑特拉安·弗洛林(Traian Florin) 2 詹姆斯·科迪。 2 多米尼克·迪特里希 2 伊莎贝·格尼迪格 2 Kats,Lennart C.L。 2 克洛德·基什内尔 2 保罗·克林特 2 布鲁诺·皮诺 2 曼纽尔·罗尔丹 1 布拉德·亚历山大 1 佩里·亚历山大 1 谢尔盖·奥特西尔 1 巴赫,Jean-Christophe 1 艾米莉·巴拉德 1 珍妮特·巴恩斯 1 塞德里克·巴斯托尔 1 洛伦佐·贝蒂尼 1 罗伯托·比贡哈。 1 德里克·博丹 1 克劳斯·布拉布兰德 1 杰里米·布拉德伯里。 1 保罗·布劳纳 1 安德鲁·巴特菲尔德 1 杰罗尼莫·卡斯特里隆 1 罗德里克·查普曼 1 霍雷修·西尔斯泰 1 阿尔伯特·科恩 1 安德鲁·库克。 1 阿尔西诺·库尼亚 1 H.A.德容。 1 马尔杰,德容格 1 Di Iorio,弗拉基米尔·奥。 1 阿泽·迪杰斯特拉 1 朱尔根·丁格尔 1 埃尔科·多尔斯特拉 1 Anatoliy Yu Doroshenko。 1 比尔·J·埃利斯。 1 楚其·埃里森 1 吕克·恩格伦 1 马丁·埃尔维格 1 圣地亚哥埃斯科瓦尔 1 罗伯特·布鲁斯·芬德勒 1 大卫·费希尔 1 奥利维尔·菲索 1 玛格斯·弗洛伊登塔尔 1 尼古拉斯·弗里斯比 1 高继敏 1 西尔万·吉尔巴尔 1 Sergij V.Goncharov。 1 Danny M.Groenewegen。 1 戈雷尔·赫丁 1 巴斯蒂安·海仁 1 赫梅尔,泽夫 1 斯特凡·霍尔德曼 1 胡镇江 1 莉莉亚娜·伊巴内斯库 1 爱尔兰,安德鲁 1 约翰·杰林 1 帕特里夏·约翰 1 Joosten,Sebastian J.C。 1 Karleberg、Karl Trygve 1 斯文·卡罗尔 1 理查德·基伯茨。 1 加林·基梅尔 1 拉杜·科佩茨 1 Krishnan、Ligesh 1 乔治·宽 1 特默尔库西亚 1 拉尔夫·拉梅尔 1 索林·勒纳 1 多雷尔·卢卡努 1 大卫·B·麦奎恩(David B.MacQueen)。 1 何塞·佩德罗·马加莱斯 1 马林·米尔恰 1 男人,金 1 法布里斯·纳洪 1 奥利维尔·纳特 1 托拜厄斯·奈特 1 何塞·努诺·马塞多 1 奥利维尔,P.A。 1 卡里娜·奥尔莫斯 1 奥尔多涅斯·卡马乔,迭戈·卡马乔 1 彼得·帕达维茨 1 米盖尔·帕洛米诺 …还有40多位作者 全部的 前5名18篇连载文章中引用 11 计算机程序设计科学 5 程序设计中的逻辑和代数方法杂志 三 符号计算杂志 2 自动推理杂志 2 函数编程杂志 2 计算机基础理论 2 逻辑与代数程序设计杂志 2 计算机语言、系统和结构 1 ACM数学软件汇刊 1 算法杂志 1 国际并行程序设计杂志 1 信息与计算 1 MSCS公司。计算机科学中的数学结构 1 控制论与系统分析 1 数学与人工智能年鉴 1 蒂米·奥拉的阿奈勒大学。Seria Matematic??信息 1 塔尔图大学数学学位论文 1 计算机科学中的逻辑方法 全部的 前5名在6个字段中引用 77 计算机科学(68至XX) 6 数学逻辑和基础(03-XX) 2 生物学和其他自然科学(92-XX) 1 组合数学(05-XX) 1 数值分析(65-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文