IMP

IMP is a very simple imperative language. The basic entities are:

• constants: 0, 1, 2, ..., true, false
• variables: x0, x1, x2, ...
• integer operations: +, -, *, ...
• Boolean operations: =, >, <, ...

We will use generic names to represent the classes of entities as follows:

• constants: n, or c
• variables: x
• integer operations: iop
• Boolean operations: bop

We'll also use op for an operation that may be Boolean or integer.

The phrase classes of IMP are:

Phrase class	Generic name	Phrase forms
Integer expressions	e	x n e1 iop e2
Boolean expressions	b	true false b1 bop b2
Programs	p	null x:=e p1;p2 if b then p1 else p2 while b do p

References

R. Burstall. Language Semantics and Implementation. Course Notes. 1994.