A Rewriting Semantics for Maude Strategies
暂无分享,去创建一个
[1] MeseguerJosé. Conditional rewriting logic as a unified model of concurrency , 1992 .
[2] Claude Kirchner,et al. Rewriting with Strategies in ELAN: A Functional Semantics , 2001, Int. J. Found. Comput. Sci..
[3] Narciso Martí-Oliet,et al. All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic , 2007, All About Maude.
[4] José Meseguer,et al. Reflection and strategies in rewriting logic , 1996, WRLA.
[5] Alberto Verdejo,et al. Deduction, Strategies, and Rewriting , 2007, STRATEGIES@IJCAR.
[6] Eelco Visser,et al. Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in Stratego/XT 0.9 , 2003, Domain-Specific Program Generation.
[7] Claude Kirchner,et al. ELAN from a rewriting logic point of view , 2002, Theor. Comput. Sci..
[8] José Meseguer,et al. Towards a Strategy Language for Maude , 2005, WRLA.
[9] Claude Kirchner,et al. Rewrite strategies in the rewriting calculus , 2003, WRS.