Volume 124, Number 1, March 2005

Proceedings of the 5th International Workshop on Rule-Based Programming (RULE 2004)

• 
  Slim Abdennadher, Christophe Ringeissen: Preface. 1-2
• 
  Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo: Playing with Maude. 3-23
• 
  Francisco Durán, Santiago Escobar, Salvador Lucas: On-demand Evaluation for Maude. 25-39
• 
  María Alpuente, Demis Ballis, Moreno Falaschi: A Rewriting-based Framework for Web Sites Verification. 41-61
• 
  Carsten Albrecht, Andreas C. Döring: A Compiler for Mapping a Rule-Based Event-Triggered Program to a Hardware Engine. 63-80
• 
  Hitoshi Ohsaki, Toshinori Takai: ACTAS : A System Design for Associative and Commutative Tree Automata Theory. 97-111
• 
  Yannick Chevalier, Laurent Vigneron: Rule-based Programs Describing Internet Security Protocols. 113-132
• 
  Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac: Principles of Chemical Programming. 133-147
• 
  Victor L. Winter: Strategy Construction in the Higher-Order Framework of TL. 149-170

Volume 124, Number 2, April 2005

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

• 
  Sergio Antoy, Yoshihito Toyama: Preface. 1-2
• 
  Claude Kirchner: Strategic Rewriting. 3-9
• 
  Francisco Durán: Maude's Internal Strategies. 11-15
• 
  Francisco Durán, Manuel Roldán, Antonio Vallecillo: Invariant-Driven Strategies for Maude. 17-28
• 
  Irène Durand: A Tool for Term Rewrite Systems and Tree Automata. 29-49
• 
  Jeroen Ketema: Some Undecidable Approximations of TRSs. 51-63
• 
  Jeroen Ketema, Jan Willem Klop, Vincent van Oostrom: Vicious Circles in Orthogonal Term Rewriting Systems. 65-77
• 
  Olivier Danvy: From Reduction-based to Reduction-free Normalization. 79-100
• 
  Ralf Lämmel: Programmable Rewriting Strategies in Haskell: -- White Paper --. 101-112
• 
  Salvador Lucas: Strategies in Programming Languages Today. 113-118