9 citations · 15 across the 12 of their papers we have counts for
4 papers · 1 filter
In-place Graph Rewriting with Interaction Nets
Ian Mackie, Shinya Sato
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 becau…
Compiling Process Networks to Interaction Nets
Ian Mackie
Kahn process networks are a model of computation based on a collection of sequential, deterministic processes that communicate by sending messages through unbounded channels. They…
Proceedings Tenth International Workshop on Rule-Based Programming
Ian Mackie, Anamaria Martins Moreira
This volume contains the proceedings of RULE 2009: the tenth International Workshop on Rule-Based Programming. It took place in June 28th 2009, Brasilia, Brazil, as a satellite eve…
Iterators, Recursors and Interaction Nets
Ian Mackie, Jorge Sousa Pinto, Miguel Vilaca
We propose a method for encoding iterators (and recursion operators in general) using interaction nets (INs). There are two main applications for this: the method can be used to ob…