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
Last update Tue Feb 14 04:17:31 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
