In computer science, a data structure that represents the computational process at a given point in the process's execution