Next: , Previous: PreDefOps, Up: Top

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: