ASSUME Directive Proposal
Fabien Coelho, Henry Zongaro
Report EMP CRI A-287, May 1996.
This proposal allows the declaration of several mappings instead of just
one at subroutine boundaries. Markers within subroutine declarations
separate different argument mapping assumptions provided to the
compiler. Full HPF specification directives can be expressed. A
rewriting-based implementation technique is also suggested to translate
such a program into a standard HPF program.