Modeling Terms by Graphs with Structure Constraints (Two Illustrations)

Clemens Grabmayer
(Gran Sasso Science Institute)

In the talk at the workshop my aim was to demonstrate the usefulness of graph techniques for tackling problems that have been studied predominantly as problems on the term level: increasing sharing in functional programs, and addressing questions about Milner's process semantics for regular expressions. For both situations an approach that is based on modeling terms by graphs with structure constraints has turned out to be fruitful. In this extended abstract I describe the underlying problems, give references, provide examples, indicate the chosen approaches, and compare the initial situations as well as the results that have been obtained, and some results that are being developed at present.

In Maribel Fernández and Ian Mackie: Proceedings Tenth International Workshop on Computing with Terms and Graphs (TERMGRAPH 2018), Oxford, UK, 7th July 2018, Electronic Proceedings in Theoretical Computer Science 288, pp. 1–13.
Published: 6th February 2019.

ArXived at: http://dx.doi.org/10.4204/EPTCS.288.1 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org