@MISC{Jeffrey92achemical, author = {Alan Jeffrey}, title = {A Chemical Abstract Machine for Graph Reduction}, year = {1992} }

Bookmark

OpenURL

Abstract

Graph reduction is an implementation technique for the lazy l-calculus. It has been used to implement many non-strict functional languages, such as lazy ML, Gofer and Miranda. Parallel graph reduction allows for concurrent evaluation. In this paper, we present parallel graph reduction as a Chemical Abstract Machine, and show that the resulting testing semantics is adequate wrt testing equivalence for the lazy l-calculus. We also present a π-calculus implementation of the graph reduction machine, and show that the resulting testing semantics is also adequate.