西洋陆军棋

策略/ XT是用于程序转换的语言和工具集。策略语言提供了用于表示基本变换的重写规则、用于控制规则应用的可编程重写策略、用于在对象语言的语法中表达规则模式的具体语法、以及用于表示上下文敏感变换的动态重写规则,因此,支持在高抽象级别的转换组件的开发。


ZBMaX中的参考文献(74篇)1标准条款

显示结果1至20的74。
按年份排序(引文
  1. 杜拉恩,弗朗西斯科;Eker,史提芬;埃斯科巴,圣地亚哥;MaMi'-OLIET,纳西索;MeeGuer-Joee;Rubio,RoueN;塔尔科特,卡洛琳:Mod(2020)中的程序设计和符号计算
  2. 费尔南德斯,Maribel;基什内尔,H·L·E,Pinaud,布鲁诺:战略端口图重写:交互建模框架(2019)
  3. 巴特菲尔德,安得烈:UTCPCAC——一个UTP谓词的计算器(2017)
  4. 乔斯滕,Sebastiaan J. C.:用三元组解析和打印(2017)
  5. Melnik,MARJAN:领域特定语言:系统映射研究(2017)
  6. Bettini,洛伦佐:用x语义实现IDE的类型系统(2016)
  7. 费尔南德斯,Maribel;基什内尔,H·L·N;Pinaud,布鲁诺;Vallet,杰森:标记图形重写满足社交网络(2016)
  8. 基什内尔、琳恩:重写策略与战略重写程序(2015)
  9. 赖斯,Leonardo V. S.;Di Iorio,Vladimir O.;BigOnHA,Roberto S.:一种组成和定义可扩展语言的即时语法修改机制(2015)
  10. S·德伯格,艾玛;Hein,GoeReel:通过循环非终结属性的声明性重写(2015)
  11. 弗罗伊登塔尔,Mulus: SimPL:企业信息系统领域特定语言开发的工具包(2013)
  12. Andrew W.,Dybvig,R肯特:商业编译器开发的纳米框架(2013)伊波尔特
  13. 费尔南德斯,Maribel;基什内尔,H·L·E;Namet,奥利维尔:图形重写的策略语言(2012)
  14. 梅塞格,乔斯:重写逻辑的二十年(2012)
  15. 库尼亚,Alcino;VISSER,JooST:结构害羞程序的转换及其在XPath查询和战略功能中的应用(2011)
  16. Hemel,ZEF;GraceWEGEN,Danny M.;KATS,Lennart C. L.;VISSER,EELCO:Web应用与WebDSL的静态一致性检查(2011)
  17. Padawitz,彼得:从文法和自动机到代数和余代数(2011)
  18. 泰特,罗斯;斯蒂普,米迦勒;塔特洛克,扎卡里;勒纳,索林:平等饱和:一种新的优化方法(2011)
  19. Autoxer-Serge;迪特里希,Dominik:声明性证明的策略语言(2010)
  20. Bravbor,马丁;多尔斯特拉,EelCo;VISSER,EELCO:用语法嵌入防止注入攻击(2010)