1. A computer readable medium containing a data structure for saving state for a semantically accessible state binding method, the computer readable medium comprising: a first state frame including a representation of a state of an executing program; and a second state frame including a representation of state changes made by the executing program after the first state frame is created and the second state frame includes a pointer back to the first state frame.