汤姆

汤姆:背着Java重写。我们介绍了扩展Java的Tom语言,目的是提供受重写社区启发的高层结构。Tom在通用语言和使用重写的高级规范之间架起了一座桥梁。这种方法的动机是促进重写技术及其在大规模应用程序中的集成。强大的匹配功能和丰富的策略语言是Tom的强项之一,这使得它易于使用,并与其他基于规则的语言竞争。


数学参考文献

显示第1到第20个结果,共23个。
按年份排序(引用)
  1. 费南德斯,马里贝尔;基什内尔,赫勒;皮诺,布鲁诺:战略港口图改写:一个互动模型框架(2019年)
  2. Dundua,Besik;Florido,Mário;Kutsia,Temur;Marin,Mircea:CLP((\mathsfH)):对冲的约束逻辑编程(2016)
  3. 费南德斯,玛丽贝尔;基什内尔,赫勒;皮诺,布鲁诺;瓦莱特,杰森:标签图形重写满足社交网络(2016)
  4. Ciobanu,Gabriel;Koutny,Maciej;Steggles,Jason:Strategy based semantics for mobility with time and access permissions(2015年)
  5. Kirchner,Hélene:重写策略和战略重写计划(2015)
  6. Belkhir,Walid;Giorgetti,Alain;Lenczner,Michel:符号转换语言及其在多尺度方法中的应用(2014)
  7. López Bóbeda,埃德蒙多;Colange,Maximilien;Buchs,Didier:《战略:通用Petri网验证框架》(2014)ioport公司
  8. JoséMeseguer:《重写逻辑的二十年》(2012)
  9. Cirstea,Horatiu;Kirchner,Claude;Kopetz,Radu;Moreau,Pierre Etienne:基于规则的语言的反模式(2010)
  10. 杜兰,弗朗西斯科;罗尔丹,曼努埃尔;巴赫,让-克里斯托夫;巴拉德,埃米莉;范登布兰德,马克;科迪,詹姆斯R;埃克尔,史蒂文;恩格伦,吕克;德容格,马尔特杰;卡尔伯格,卡尔特雷格夫;凯特,伦纳特C.L.;莫罗,皮埃尔艾蒂安;维瑟,Eelco:第三届重写引擎大赛(2010)
  11. Andrei,Oana;Kirchner,Hélène:用于自主计算和不变验证的端口图演算(2009)
  12. Andrei,Oana;Kirchner,Hélène:用于自主计算的高阶图演算(2009)
  13. Andrei,Oana;Lucanu,Dorel:基于策略的膜系统证明演算(2009)
  14. 杜兰,弗朗西斯科;罗兰·曼努埃尔;巴拉德,埃米莉;范登布兰德,马克;史蒂文,埃克尔;卡尔伯格,卡尔·特里格夫;凯特,伦纳特C.L.;莫罗,皮埃尔·艾蒂安;舍甫琴科,罗斯兰;维瑟,Eelco:第二届重写引擎大赛(2009年)ioport公司
  15. Fages,François;Martin,Julien:用Rules2CP建模语言从规则到约束程序(2009)
  16. Hurlin,Clément:通过证明重写实现程序的自动并行化和优化(2009)
  17. 杰,巴里:模式演算。函数与结构计算(2009)
  18. Resler,R.Daniel;Winter,Victor:消除公共子表达式的高阶策略(2009)
  19. Andrei,Oana;Kirchner,Hélène:带端口的多重图的重写演算(2008)
  20. 埃米莉·巴拉德、莫罗、皮埃尔·艾蒂安、雷尔斯、安托万:《Java重写策略》(2008)ioport公司