
\section*{Mapping Temporaries}

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

Are developing schemes applicable to general 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.]

