Preface

Andrea Corradini, Maribel Fernández, Ian Mackie, Detlef Plump, Femke van Raamsdonk, Hans Zantema

Research output: Contribution to journalEditorialAcademicpeer-review

Abstract

TERMGRAPH 2016 took place in Eindhoven (NL) on April 8, 2016, as a one-day satellite event of ETAPS 2016. Previous editions of the TERMGRAPH workshops series took place in Barcelona (2002), Rome (2004), Vienna (2006), Braga (2007), York (2009), Saarbrücken (2011), Rome (2013), and Vienna (2014).

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 TERMGRAPH 2016 was 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.

Topics of interest for the workshop include all aspects of term graphs and sharing of common subexpressions in rewriting, programming, automated reasoning and symbolic computation.

The present volume contains the six contributions presented during the workshop: they were selected by the Program Committee according to originality, significance, and general interest. In addition to these presentations, the programme included two invited lectures, by Barbara König and Jörg Endrullis, whose abstracts are included as well.
Original languageEnglish
Number of pages1
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
Volume225
DOIs
Publication statusPublished - 10 Sep 2016
Event9th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2016 - Eindhoven, Netherlands
Duration: 8 Apr 2016 → …

Fingerprint Dive into the research topics of 'Preface'. Together they form a unique fingerprint.

Cite this