Published: 11th February 2011 DOI: 10.4204/EPTCS.48 ISSN: 2075-2180 |
Preface Rachid Echahed | |
Invited Presentation: On the Observable Behavior of Graph Transformation Systems Reiko Heckel | 1 |
Invited Presentation: From Infinitary Term Rewriting to Cyclic Term Graph Rewriting and back Patrick Bahr | 2 |
Term Graph Rewriting and Parallel Term Rewriting Andrea Corradini and Frank Drewes | 3 |
Invited Presentation: Nominal Graphs Maribel Fernández | 19 |
Rule-based transformations for geometric modelling Thomas Bellet, Agnès Arnould and Pascale Le Gall | 20 |
Dependently-Typed Formalisation of Typed Term Graphs Wolfram Kahl | 38 |
PORGY: Strategy-Driven Interactive Transformation of Graphs Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Olivier Namet and Bruno Pinaud | 54 |
A new graphical calculus of proofs Sandra Alves, Maribel Fernández and Ian Mackie | 69 |
Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress) Jan Rochel and Clemens Grabmayer | 85 |
This volume contains the proceedings of the Sixth
International Workshop on Computing with Terms and Graphs (TERMGRAPH 2011). The
workshop took place in Saarbruecken, Germany, on
April 2nd, 2011, as part of the fourteenth edition of the European Joint Conferences
on Theory and Practice of Software (ETAPS 2011).
Research in term and graph
rewriting ranges from theoretical questions to practical issues. Computing with graphs handles the sharing of common subexpressions in a natural and seamless way, and improves
the efficiency of computations in space and time. Sharing is ubiquitous in
several research areas, for instance : the modelling
of first- and higher-order term rewriting by (acyclic or cyclic) graph
rewriting, the modelling of biological or chemical
abstract machines, the implementation techniques of programming languages: many
implementations of functional, logic, object-oriented, concurrent and mobile
calculi are based on term graphs. Term graphs are also used in automated
theorem proving and symbolic computation systems working on shared structures.
The aim of this workshop is to bring together researchers working in different
domains on term and graph transformation and to foster their interaction, to
provide a forum for presenting new ideas and work in progress, and to enable
newcomers to learn about current activities in term graph rewriting.
Previous editions of TERMGRAPH series were held in
Barcelona (2002), in Rome (2004), in Vienna (2006), in Braga (2007) and in York
(2009).
These proceedings contain six accepted papers and the
abstracts of three invited talks. All submissions were subject to careful
refereeing. The topics of accepted papers range over a wide spectrum, including
theoretical aspects of term graph rewriting, proof methods, semantics as well
as application issues of term graph transformation.
We would like to thank all who contributed to the
success of TERMGRAPH 2011, especially the Program Committee for their valuable
contributions to the selection process as well as the contributing authors. We
would like also to express our gratitude to all members of ETAPS 2011
organizing committee for their help in organizing TERMGRAPH 2011 at Saarbruecken, Germany.
February, 2011
Rachid Echahed
Program chair of TERMGRAPH2011
Program committee of TERMGRAPH 2011
Paolo Baldan University of Padova,
Italy
Andrea Corradini University
of Pisa, Italy
Frank Drewes Umea University, Sweden
Rachid Echahed CNRS,
LIG Lab., Grenoble, France (chair)
Tetsuo Ida University of Tsukuba, Japan
Wolfram Kahl McMaster University, Canada
Ian Mackie Ecole Polytechnique, France
Detlef Plump University of York, UK