Procedure - benchristel/benchristel.github.io GitHub Wiki

A procedure is a Routine that Accesses Process-external State. (It may also access process-internal state.)

In contrast with other types of Routines, a procedure does not have a bounded ExecutionTime. Correct procedures often loop infinitely. This implies that a language must have some way of expressing procedures in order to be TuringComplete.

The order of Statements in a procedure is often important, because the order of process-external Effects is often important.