Proceedings 11th International Workshop on Computing with Terms and Graphs

02/02/2021
by   Patrick Bahr, et al.
0

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.

READ FULL TEXT
research
02/05/2019

Proceedings Tenth International Workshop on Computing with Terms and Graphs

This volume contains a selection of the papers presented at TERMGRAPH 20...
research
12/02/2020

Proceedings of the Eleventh International Workshop on Graph Computation Models

Graphs are common mathematical structures that are visual and intuitive....
research
02/06/2019

Modeling Terms by Graphs with Structure Constraints (Two Illustrations)

In the talk at the workshop my aim was to demonstrate the usefulness of ...
research
12/19/2021

Proceedings Twelfth International Workshop on Graph Computational Models

This volume contains the post-proceedings of the Twelfth International W...
research
01/04/2023

COST of Graph Processing Using Actors

Graph processing is an increasingly important domain of computer science...
research
12/22/2017

Proceedings Third Workshop on Graphs as Models

Graphs are used as models in many areas of computer science and computer...
research
02/01/2021

The 4th International Workshop on Smart Simulation and Modelling for Complex Systems

Computer-based modelling and simulation have become useful tools to faci...

Please sign up or login with your details

Forgot password? Click here to reset