Published: 30th March 2010|
|Preface Anamaria Martins Moreira and Ian Mackie|
|Graph Creation, Visualisation and Transformation Maribel Fernández and Olivier Namet||1|
|An Implementation of Nested Pattern Matching in Interaction Nets Abubakar Hassan, Eugen Jiresch and Shinya Sato||13|
|The Semantics of Graph Programs Detlef Plump and Sandra Steinert||27|
|Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars Rodrigo Machado, Reiko Heckel and Leila Ribeiro||39|
|A Type System for Tom Claude Kirchner, Pierre-Etienne Moreau and Cláudia Tavares||51|
|Object-oriented Programming Laws for Annotated Java Programs Gabriel Falconieri Freitas, Márcio Cornélio, Tiago Massoni and Rohit Gheyi||65|
|An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications Daniel J. Dougherty||77|
|Automatic Generation of Proof Tactics for Finite-Valued Logics João Marcos||91|
|Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems Benoît Boyer and Thomas Genet||99|
After the development of the principles of rewriting logic and of the rewriting calculus in the nineties, languages and systems such as ASF+SDF, BURG, CHRS, Claire, ELAN, Maude, and Stratego contributed to demonstrate the importance of rule-based programming. The area has since been experiencing a period of growth with the emergence of new concepts, systems, and application domains, such as Domain Specific Languages, Generative and Aspect-Oriented Programming, and Software Engineering activities like maintenance, reverse engineering, and testing.
RULE 2009 is the tenth International Workshop on Rule-Based Programming, and took place June 28th 2009 in Brasília, Brazil, in conjunction with RDP 2009. The first Rule workshop was held in Montréal in 2000, and subsequent editions took place in Firenze, Pittsburgh, Valencia, Aachen, Nara, Seattle, Paris, and Hagenberg.
The goal of this workshop is to bring together researchers from the various communities working on rule-based programming to foster advances in the foundations and research on rule-based programming methods and systems; and to promote cross-fertilization between theory and practice, and the application of rule-based programming in various important domains. Topics of interest included:
Ten selected papers and an invited talk, shared with the 9th International Workshop on Reduction Strategies in Rewriting and Programming, were presented in RULE 2009. Authors were then invited to revise their papers which passed a second round of rigourous reviews with the goal of selecting them for publication in EPCTS. As a result, we are happy to present here nine extended and selected papers with subjects that cover both foundations and applications of rule-based programming.
We would like to thank all those who contributed to RULE 2009. We are grateful to the programme committee members and the external referees (Emilie Balland, Tony Bourdier, Nuno Castro, Martin Musicante, Marcel Oliveira, Regivan Santiago, Alvaro Tasistro, Christian Urban and Murdoch Gabbay) for their careful and efficient work in the reviewing process.
Anamaria Martins Moreira and Ian Mackie