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.