next up previous contents
Next: Approved Extensions for Data and Up: Approved Extensions for Data Mapping Previous: Conditions for Omitting Explicit

Characteristics of Procedures


The SHADOW and DYNAMIC attributes, if present, are HPF-characteristics of dummy arguments and procedure return values. To be precise, the definitions in Section 4.7 are rewritten as follows;

additions are in bold-face type: