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.

<p><hr>

The author's web site:

dennis@au-bon-pain.lcs.mit.edu