汤姆

汤姆:在Java上背负重写。我们提出了扩展Java的汤姆语言,目的是提供由重写社区启发的高级结构。Tom furnishes是一种通用语言和使用重写的高级规范之间的桥梁。这种方法的动机是促进重写技术和他们在大规模应用中的集成。强大的匹配能力以及丰富的策略语言是汤姆的优点,使得它易于使用和与其他基于规则的语言竞争。


ZBMaCT中的参考文献(23篇文章中引用)

显示结果1至20的23。
按年份排序(引文
  1. 费尔南德斯,Maribel;基什内尔,H·L·E,Pinaud,布鲁诺:战略端口图重写:交互建模框架(2019)
  2. 邓杜,贝塞克;Florido,马里奥;Kutsia,TEMUR;Marin,MiCEA: CLP((Mathsfh)):模糊限制语逻辑程序设计(2016)
  3. 费尔南德斯,Maribel;基什内尔,H·L·N;Pinaud,布鲁诺;Vallet,杰森:标记图形重写满足社交网络(2016)
  4. Ciobanu,加布里埃尔;Kutny,Maciej;Siggle,杰森:基于策略的移动性与时间和访问权限的语义(2015)
  5. 基什内尔、琳恩:重写策略与战略重写程序(2015)
  6. Belkhir、瓦利德、乔吉蒂、Alain、Lenczner、米歇尔:符号转换语言及其在多尺度方法中的应用(2014)
  7. L.Pez B.BeDA,Edmundo;Calange,Maximilien;布克斯,Ddie:战略:一个通用Petri网验证框架(2014)伊波尔特
  8. 梅塞格,乔斯:重写逻辑的二十年(2012)
  9. Calista,Horatiu;基什内尔,克劳德;Kopez,RADU;Muluu,Pierre Etienne:基于规则的语言的反模式(2010)
  10. 杜拉恩,弗朗西斯科;Rold,曼努埃尔;巴赫,Jean Christophe;Balland,艾米利;van den Brand,Cordy,Ye;Ek,Lu.;,Majje;Kalleberg,S.;KATS,YO;Mulau,Y.;维瑟,EelCo:第三个改写引擎竞赛(2010)
  11. 安德列,Oana;基什内尔,Hell Lene:一个用于自主计算和不变量验证的端口图演算(2009)
  12. 安德列,Oana;基什内尔,Hell LeNe:自治计算的高阶图演算(2009)
  13. 安德列,Oana;Luaunu,Doel:基于策略的膜系统证明演算(2009)
  14. 杜拉恩,弗朗西斯科;曼努埃尔;Balland,艾米莉;van den Brand,马克;史提芬,Eker;Kalleberg,Eker;KATS,YO;Mulau,Y;Y,Y;维瑟,EelC:第二次改写引擎竞赛(2009)伊波尔特
  15. FAGE,弗兰Sou-OIS;马丁,朱利安:从规则到约束程序的规则2CP建模语言(2009)
  16. HurLin,Clice:通过证明重写实现程序的自动并行化和优化(2009)
  17. 杰伊,巴里:模式演算。函数与结构计算(2009)
  18. RESLL,R. Daniel;Wistor,VICTor:一种消除公共子表达式的高阶策略(2009)
  19. 安德列,Oana;基什内尔,Hell LeNe:一个带端口的多重图的重写演算(2008)
  20. Balland,艾米莉,莫罗,Pierre Etienne;Reilles,安托万:Java中的改写策略(2008)伊波尔特