4 Procedures and Arrays

Procedures and arrays have identical structure for the purposes of type analysis: Each defines an operator with an arbitrary number of parameters of arbitrary types. The operator indication that identifies this operator may take several forms depending on the language definition. The Expression module provides computational roles and context-dependent operations to support the type analysis of these constructs. Specifications for procedures and arrays can be divided into three categories:

• A specification of how these constructs are defined in the source program.
• A specification of how these constructs are associated with operator indications.
• A specification of the operators defined by these constructs are applied to arguments.

• ProcDenot: Defining a procedure or array
• ProcInd: Relating operator and indication
• Calls: Applying the operator to arguments