5 Simulator
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
-
computation of a successor state
- display of the taken step in the editor, using the highlight-function
of the editor.
For an extended functionality, one could think of
-
interactive simulation, non-deterministic simulation
- back-stepping
- recording, storing, and replay of the taken steps
Interface
With the editor (highlighting).
last generated April 22, 2002 (©Public License)