Electronic Notes in Theoretical Computer Science, Volume 204

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