Abstract-syntax
Abstract syntax of Imp.
We formalize Imp's
arithmetic expressions,
boolean expressions, and
commands,
as free algebraic fixtypes.
Subtopics
- Aexp
- Fixtype of Imp arithmetic expressions.
- Bexp
- Fixtype of Imp boolean expressions.
- Comm
- Fixtype of Imp commands.
- Comm-list
- Fixtype of lists of Imp commands.
- Command-fixtypes
- Mutually recursive fixtypes for Imp commands.
