IMP is a very simple imperative language. The basic entities are:
We will use generic names to represent the classes of entities as follows:
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|
R. Burstall. Language Semantics and Implementation. Course Notes. 1994.
Copyright © 2014 Barry Watson. All rights reserved.