西洋陆军棋

Stratego/XT是一种用于程序转换的语言和工具集。Stratego语言提供了表示基本转换的重写规则、用于控制规则应用的可编程重写策略、用目标语言的语法表示规则模式的具体语法、用于表示上下文相关转换的动态重写规则,从而支持在高抽象级别上开发转换组件。


zbMATH中的参考文献(参考 75篇文章 参考,1标准件)

显示第1到第20个结果,共75个。
按年份排序(引用)
  1. 德兰,弗朗西斯科;埃克尔,史蒂文;埃克尔,圣地亚哥;马蒂奥利特,纳西索;梅斯盖尔,何塞;鲁比奥,鲁宾;卡罗琳塔尔科特:莫德的编程和符号计算(2020年)
  2. 费南德斯,马里贝尔;基什内尔,赫勒;皮诺,布鲁诺:战略港口图改写:一个互动模型框架(2019年)
  3. 巴特菲尔德,安德鲁:Utpcalc——UTP谓词的计算器(2017)
  4. Joosten,Sebastiaan J.C.:解析和打印三元组(2017)
  5. Mernik,Marjan:领域特定语言:系统映射研究(2017)
  6. Bettini,Lorenzo:用Xsemantics实现IDE的类型系统(2016)
  7. 费南德斯,玛丽贝尔;基什内尔,赫勒;皮诺,布鲁诺;瓦莱特,杰森:标签图形重写满足社交网络(2016)
  8. Kirchner,Hélene:重写策略和战略重写计划(2015)
  9. Reis,Leonardo V.S.;Di Iorio,Vladimir O.;Bigonha,Roberto S.:编写和定义可扩展语言的动态语法修改机制(2015)
  10. Söderberg,Emma;Hedin,Görel:通过循环非终结属性重写声明性重写(2015)
  11. Freudenthal,Margus:Siml:企业信息系统中特定领域语言开发的工具包(2013)
  12. Keep,Andrew W.;Dybvig,R.Kent:商业编译器开发的nanopass框架(2013)ioport公司
  13. 费南德斯,玛丽贝尔;基什纳,赫勒;纳梅特,奥利维尔:图形重写的策略语言(2012)
  14. JoséMeseguer:《重写逻辑的二十年》(2012)
  15. Cunha,Alcino;Visser,Joost:面向XPath查询和战略功能的结构化程序转换(2011)
  16. Hemel,Zef;Groenewegen,Danny M.;Kats,Lennart C.L.;Visser,Eelco:WebDSL的web应用程序静态一致性检查(2011)
  17. 彼得·帕达维茨:从语法和自动机到代数和余代数(2011)
  18. Tate,Ross;Stepp,Michael;Tatlock,Zachary;Lerner,Sorin:《等式饱和:优化的新方法》(2011)
  19. 奥特西耶,谢尔盖;迪特里希,多米尼克:声明性证明的策略语言(2010)
  20. Bravenboer,Martin;Dolstra,Eelco;Visser,Eelco:用语法嵌入防止注入攻击(2010)