computation Definition Procedure A procedure is a function with emphasis on side effects that change the program’s state.