RULE

Keyphrases

Publications

volume 290, 2012

Ninth International Workshop on Rule-Based Programming, RULE 2008, Hagenberg, Austria, July 14-18, 2008 RULE 290 (2012)

2009

Rodrigo Machado, Reiko Heckel, Leila Ribeiro
Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars RULE (2009)
Abubakar Hassan, Eugen Jiresch, Shinya Sato
An Implementation of Nested Pattern Matching in Interaction Nets RULE (2009)
Claude Kirchner, Pierre-Etienne Moreau, Cláudia Tavares
A Type System for Tom RULE (2009)
Daniel J. Dougherty
An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications RULE (2009)
Benoît Boyer, Thomas Genet
Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems RULE (2009)
Maribel Fernández, Olivier Namet
Graph Creation, Visualisation and Transformation RULE (2009)
Gabriel Falconieri Freitas, Márcio Cornélio, Tiago Massoni, Rohit Gheyi
Object-oriented Programming Laws for Annotated Java Programs RULE (2009)
Detlef Plump, Sandra Steinert
The Semantics of Graph Programs RULE (2009)
João Marcos
Automatic Generation of Proof Tactics for Finite-Valued Logics RULE (2009)

volume 21, 2009

Proceedings Tenth International Workshop on Rule-Based Programming, RULE 2009, Brasília, Brazil, 28th June 2009. RULE 21 (2009)

volume 124, number 1, 2005

Proceedings of the 5th International Workshop on Rule-Based Programming, RULE 2004, Aachen, Germany, June 1, 2004 RULE 124 (1) (2005)

volume 86, number 2, 2003

4th International Workshop on Rule-Based Programming, RULE 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-13, 2003 RULE 86 (2) (2003)

volume 59, number 4, 2001

Second International Workshop on Rule-Based Programming, RULE 2001, Satellite Event of PLI 2001, Firenze, Italy, September 4, 2001 RULE 59 (4) (2001)