8.2. Procedure Heading

The procedure heading gives the procedure its name. It also describes and lists any identifiers used as formal parameters in the body. On a call of the procedure, the compiler sets up a correspondence between the actual parameters in the call and the formal parameters specified in the procedure heading. The syntax of the heading is

Procedureheading ::= 
     Id (  Parameterspeclist ) 

Parameterspeclist ::= 
     Parameterspec ;  Parameterspeclist