
\verbatim{Mapping Temporaries}

A central problem in HPF translation is mapping of intermediate
results, ie, subexpressions.  Especially difficult in
\verbatim{FORALL}.

Are developing schemes applicable to general \verbatim{FORALL}
statements, with no reliance on ``Owner-Computes'' type
rules---assignment not treated specially.  Mapping scheme specified
in Prolog.

[Now appears that initial demonstrator system will probably omit
this sophistication.]

