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)