|
Published: 6th February 2019 DOI: 10.4204/EPTCS.288 ISSN: 2075-2180 |
| Preface | |
| Modeling Terms by Graphs with Structure Constraints (Two Illustrations) Clemens Grabmayer | 1 |
| Implementation of a Port-graph Model for Finance Nneka Ene | 14 |
| Semantics-Preserving DPO-Based Term Graph Rewriting Wolfram Kahl and Yuhang Zhao | 26 |
| On Quasi Ordinal Diagram Systems Mitsuhiro Okada and Yuta Takahashi | 38 |
| Finding the Transitive Closure of Functional Dependencies using Strategic Port Graph Rewriting János Varga | 50 |
| A Framework for Rewriting Families of String Diagrams Vladimir Zamdzhiev | 63 |
This volume contains a selection of the papers presented at TERMGRAPH 2018, the 10th International Workshop on Computing with Terms and Graphs.
Graphs, and graph transformation systems, are used in many areas within Computer Science: to represent data structures and algorithms, to define computation models, as a general modelling tool to study complex systems, etc. Research in term and graph rewriting ranges from theoretical questions to practical implementation issues. Relevant research areas include: the modelling of first- and higher-order term rewriting by graph rewriting, graphical frameworks such as interaction nets and sharing graphs (optimal reduction), rewrite calculi for the analysis of functional programs, graph reduction implementations of programming languages, graphical calculi modelling concurrent and mobile computations, object-oriented systems, graphs as a model of biological or chemical systems, and automated reasoning and symbolic computation systems working on shared structures. The aim of the TERMGRAPH workshop is to bring together researchers working in these different domains 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 this area.
In 2018, TERMGRAPH was affiliated with FSCD, which is part of FLOC. Previous editions of TERMGRAPH took place in Barcelona (2002), Rome (2004), Vienna (2006), Braga (2007), York (2009), Saarbrucken (2011), Rome (2013), Vienna (2014) and Eindhoven (2016).
Eight papers were selected for presentation at TERMGRAPH 2018. In addition the programme included invited talks by Clemens Grabmayer and Fernando Orejas. EasyChair was used to deal with the reviewing process and the generation of the preproceedings. After a second round of reviewing, five papers were selected for publication in the TERMGRAPH 2018 post-proceedings.
The Programme Committee of TERMGRAPH 2018 consisted of: Zena Ariola, Andrea Corradini, Rachid Echahed, Maribel Fernández (co-chair), Reiko Heckel, Ian Mackie (co-chair), Detlef Plump and Femke van Raamsdonk.
We would like to thank all those who contributed to TERMGRAPH 2018, particularly the invited speakers, programme committee members and local organisers.
Maribel Fernández and Ian Mackie
London, 10th January 2019