A model for describing the run-time execution of programs written in block-structured languages, consisting of a program component, which remains unchanged throughout the execution of the program; a control component, consisting of an instruction pointer and an environment pointer; and a stack of records containing all the data the program operates on.