Graph Edit Distance for Interaction Net Rewrite Rules
We begin a study of optimisation techniques that apply to compiling Lafont’s interaction nets. Interaction nets are a graph rewriting system. Because of their linear logic foundation, they give a refined view of computation. They have been used to implement programming languages based on the lambda-calculus. Since the left-hand sides of rewrite rules are pairs of agents, matching is efficient. However, rule application can be costly since the right-hand sides are unrestricted. Several compilers for interaction nets have been proposed, but optimisation techniques for rule optimisation have not been discussed. Here we recall one compilation method for interaction rules and study an optimisation based on the graph edit algorithm to efficiently build the right-hand side of a rule with the least number of steps. This work is part of a considerable research effort to build compilers based on interaction nets.
Tue 18 JulDisplayed time zone: London change
13:30 - 15:00 | GCM Session 2GCM at Willow Chair(s): Andrea Corradini Remote Participants: Zoom Link, YouTube Livestream | ||
13:30 30mTalk | Hypergraph Rewriting and Higher-Arity Algebra GCM P: Carlos Zapata-Carratala Wolfram Institute / Society for Multidisciplinary and Fundamental Research | ||
14:00 30mTalk | Graph Edit Distance for Interaction Net Rewrite Rules GCM P: Ian Mackie University of Sussex, Shinya Sato Ibaraki University, Marc Thatcher University of Sussex | ||
14:30 30mTalk | Dynamic Tracing: a graphical language for rewriting protocols GCM |