×

西洋陆军棋

swMATH ID: 1259
软件作者： 埃尔科·维瑟
描述： Stratego/XT是一种用于程序转换的语言和工具集。Stratego语言提供了用于表达基本转换的重写规则、用于控制规则应用的可编程重写策略、用于在目标语言的语法中表达规则模式的具体语法以及用于表达上下文敏感转换的动态重写规则，从而在高抽象级别上支持转换组件的开发。
主页： http://www.program-transformation.org/Stratego/WebHome网站
编程语言： Java语言
操作系统： 多平台
相关软件： 莫德;汤姆;ELAN公司;哈斯克尔;ASF+SDF;ATERM公司;OBJ3型;JastAdd公司;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 Lennart C.L.Kats。
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 弗拉基米尔·奥·迪奥里奥。
1 阿泽·迪杰斯特拉
1 朱尔根·丁格尔
1 埃尔科·多尔斯特拉
1 Doroshenko，Anatoliy Yu。
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·麦昆。
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）

按年份列出的引文