ASSUME Directive Proposal

Fabien Coelho, Henry Zongaro
Report EMP CRI A-287, May 1996.
13 pages.


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.

Paper: .ps.gz (33KB)