9 citations · 15 across the 12 of their papers we have counts for
Showing 2016 · cs.PLShow all
2 papers · 2 filters
cs.PL2016
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…
cs.PL2016
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…