A stack that stores details of the functions called by a program in sequence, so that each function can return on completion to the code that called it.
