Volume 204, April 2008

Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2007)

• 
  Jürgen Giesl: Preface. 1-2
• 
  René Thiemann, Aart Middeldorp: Innermost Termination of Rewrite Systems by Labeling. 3-19
• 
  Keita Uchiyama, Masahiko Sakai, Toshiki Sakabe: Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems. 21-34
• 
  Felix Schernhammer, Bernhard Gramlich: Termination of Lazy Rewriting Revisited. 35-51
• 
  Masahiko Sakai, Yi Wang: Undecidable Properties on Length-Two String Rewriting Systems. 53-69
• 
  Pierre-Etienne Moreau, Antoine Reilles: Rules and Strategies in Java. 71-82
• 
  Dorel Lucanu, Grigore Rosu, Gheorghe Grigoras: Regular Strategies as Proof Tactics for CIRC. 83-98
• 
  Rachid Echahed: On Term-Graph Rewrite Strategies. 99-110
• 
  Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner: Towards a Sharing Strategy for the Graph Rewriting Calculus. 111-127
• 
  François-Régis Sinot: Complete Laziness: a Natural Semantics. 129-145
• 
  Elena Machkasova: Computational Soundness of a Call by Name Calculus of Recursively-scoped Records. 147-162
• 
  Sandra Alves, Mário Florido, Ian Mackie, François-Régis Sinot: Minimality in a Linear Calculus with Iteration. 163-179
• 
  José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça: Token-passing Nets for Functional Languages. 181-198