Responsible: Immo Grabe
(Interactive) simulation of a programs is its step-wise execution such that
the user can initate steps, choose among different alternatives ...and
can follow the execution on the editor. The simulator realizes the
semantics from Section B. The following points
should be implemented
For an extended functionality, one could think of
computation of a successor state
- display of the taken step in the editor, using the highlight-function
of the editor.
interactive simulation, non-deterministic simulation
- recording, storing, and replay of the taken steps
InterfaceWith the editor (highlighting).
last generated June 14, 2002 (ŠPublic License)