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
- Karl Trygve Kalleberg, Eelco Visser:
Combining Aspect-Oriented and Strategic Programming.
5-30
- Baris Aktemur, Samuel N. Kamin:
Mumbo: A Rule-Based Implementation of a Run-time Program Generation Language.
31-55
- Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi:
A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method.
57-72
- Koji Hasebe, Mitsuhiro Okada:
Completeness and Counter-Example Generations of a Basic Protocol Logic: (Extended Abstract).
73-92
- Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth:
Automatic Implication Checking for CHR Constraints.
93-111
- Olivier Bournez, Liliana Ibanescu, Hélène Kirchner:
From Chemical Rules to Term Rewriting.
113-134
- Fernando Rosa-Velardo, Clara Segura, Alberto Verdejo:
Typed Mobile Ambients in Maude.
135-161
Last update Sat May 26 06:15:18 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
