In-place Graph Rewriting with Interaction Nets
An algorithm is in-place, or runs in-situ, when it does not need any additional memory to execute beyond a small constant amount. There are many algorithms that are efficient because of this feature, therefore it is an important aspect of an algorithm. In most programming languages, it is not obvio...
Main Authors: | Ian Mackie, Shinya Sato |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2016-09-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1609.03641v1 |
Similar Items
-
An Implementation Model for Interaction Nets
by: Abubakar Hassan, et al.
Published: (2015-05-01) -
Term Graph Rewriting and Parallel Term Rewriting
by: Andrea Corradini, et al.
Published: (2011-02-01) -
Thermodynamic graph-rewriting
by: Vincent Danos, et al.
Published: (2015-06-01) -
Interactions between Causal Structures in Graph Rewriting Systems
by: Ioana Cristescu, et al.
Published: (2019-01-01) -
Pattern graph rewrite systems
by: Aleks Kissinger, et al.
Published: (2014-03-01)