Volume 147,
Number 1,
January 2006
Proceedings of the 6th International Workshop on Rule-Based Programming (RULE 2005)
- Horatiu Cirstea, Narciso Martí-Oliet:
Preface.
1-3
Electronic Edition (link) BibTeX
- Karl Trygve Kalleberg, Eelco Visser:
Combining Aspect-Oriented and Strategic Programming.
5-30
Electronic Edition (link) BibTeX
- Baris Aktemur, Samuel N. Kamin:
Mumbo: A Rule-Based Implementation of a Run-time Program Generation Language.
31-55
Electronic Edition (link) BibTeX
- Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi:
A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method.
57-72
Electronic Edition (link) BibTeX
- Koji Hasebe, Mitsuhiro Okada:
Completeness and Counter-Example Generations of a Basic Protocol Logic: (Extended Abstract).
73-92
Electronic Edition (link) BibTeX
- Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth:
Automatic Implication Checking for CHR Constraints.
93-111
Electronic Edition (link) BibTeX
- Olivier Bournez, Liliana Ibanescu, Hélène Kirchner:
From Chemical Rules to Term Rewriting.
113-134
Electronic Edition (link) BibTeX
- Fernando Rosa Velardo, Clara Segura, Alberto Verdejo:
Typed Mobile Ambients in Maude.
135-161
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:58:21 2009
by Michael Ley (ley@uni-trier.de)