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
Electronic Edition (link) BibTeX
- Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo:
Playing with Maude.
3-23
Electronic Edition (link) BibTeX
- Francisco Durán, Santiago Escobar, Salvador Lucas:
On-demand Evaluation for Maude.
25-39
Electronic Edition (link) BibTeX
- María Alpuente, Demis Ballis, Moreno Falaschi:
A Rewriting-based Framework for Web Sites Verification.
41-61
Electronic Edition (link) BibTeX
- Carsten Albrecht, Andreas C. Döring:
A Compiler for Mapping a Rule-Based Event-Triggered Program to a Hardware Engine.
63-80
Electronic Edition (link) BibTeX
- Hitoshi Ohsaki, Toshinori Takai:
ACTAS : A System Design for Associative and Commutative Tree Automata Theory.
97-111
Electronic Edition (link) BibTeX
- Yannick Chevalier, Laurent Vigneron:
Rule-based Programs Describing Internet Security Protocols.
113-132
Electronic Edition (link) BibTeX
- Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac:
Principles of Chemical Programming.
133-147
Electronic Edition (link) BibTeX
- Victor L. Winter:
Strategy Construction in the Higher-Order Framework of TL.
149-170
Electronic Edition (link) BibTeX
Volume 124,
Number 2,
April 2005
Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2004)
Copyright © Sat May 16 23:58:19 2009
by Michael Ley (ley@uni-trier.de)
