We assume general familiarity with such notions as signature, algebra, term
and initial algebra. The necessary background information can be found in the
Here, just two main topics are discussed:
Semantics of Imperative Programs, and
Proving and Algebra.
In addition, a discussion of initial semantics is
attached to the discussion of induction.
- reduction, and
The [Home] button on the page bottom will get you back here, and the
[BHome] button will take you to the background information home page.
[Next] [BHome] [Links Home]
12 October 1996