Next:
Journal of Development Up: Overview Previous: Notation

HPF-Conforming and Subset-Conforming

An executable program is HPF-conforming if it uses only those forms and relationships described in this document and if the program has an interpretation according to this document. A program unit is HPF-conforming if it can be included in an executable program in a manner that allows the executable program to be HPF-conforming.

An executable program is Subset-conforming if it uses only the forms and relationships described in this document for Subset HPF (Section ) and if it has an interpretation under the constraints of Subset HPF. A program unit is Subset-conforming if it can be included in an executable program in a manner that allows the executable program to be Subset-conforming.

(The above definitions were adapted from the Fortran 90 standard.)


paula@erc.msstate.edu
Thu Dec 8 16:17:11 CST 1994