Published: 30th March 2010
DOI: 10.4204/EPTCS.21
ISSN: 2075-2180

EPTCS 21

Proceedings Tenth International Workshop on
Rule-Based Programming
Brasília, Brazil , 28th June 2009

Edited by: Ian Mackie and Anamaria Martins Moreira
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

Preface

The fundamental concepts of rule-based programming are present in many areas of computer science, from theory to practical implementations. In programming languages, term rewriting is used in semantics as well as in implementations that use bottom-up rewriting for code generation. Rules are also used to perform computations in various systems; to describe logical inference in theorem provers; to specify and implement constraint-based algorithms and applications; and to describe and implement program transformations. Rule-based programming provides a common framework for viewing computation as a sequence of transformations on some shared structure such as a term, graph, proof, or constraint store. Rule selection and application is typically governed by a rich set of sophisticated mechanisms for recognizing and manipulating structures.

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