Electronic Notes in Theoretical Computer Science, Volume 124

Volume 124, Number 1, March 2005

• 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

• 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