A procedure definition is a declaration that, in its simplest form, associates an identifier with a statement. The identifier is the procedure name, and the statement body. Some of the identifiers appearing in a procedure definition are special and are called formal parameters of the procedure. Arguments, known as actual parameters may be passed to a called procedure; they are substituted for the formal in the body.
