-
Notifications
You must be signed in to change notification settings - Fork 0
Procedure
Ben Christel edited this page Dec 19, 2020
·
1 revision
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.