Guided Tour of GUPUNotice: The current behavior of GUPU differs
slightly from the one displayed here. In particular, GUPU supports now
not only German but also French and English.
The tour shows an interactive program. Most pages show
Table of Contents.
- a part of GUPU's screen like:
- an explanation of what we see like:
This fact states that Marie-Antoinette is a child of Maria Theresia.
- and finally a description of how to perform the next step. Sometimes
a link is found in the description, sometimes something
else must be done, like "going back" with your browser
or "clicking somewhere into the screen".
The next step in the tour is indicated at the end of the page like so:
To start the tour select the first item "Basic Interaction" below.
- Basic Interaction (5 min)
- Assertions and Queries (5 min)
- Questions (2 min)
- Partial Evaluation (3 min)
- Side Effect Free I/O
- Slicing (under construction)
- Automated Prenotation (under construction)