general parallel computation can be performed with a cycle-free heap
We argue that a powerful and general programming model for parallel computation exists that honors the principles of modular software construction, but disallows the formation of heap cycles. We believe this cycle-free Frame and Heap model can be used as the basis for a new species of computer systems that satisfies all principles of modular software construction and offers performance and programmability beyond what is possible within the limitations of today's computer system technology.
functional programming languages nondeterminate merge heap storage management stream processing