Every form can be described in two ways: from the point of view of what it is, and from the point of view of what it does. What it is is sometimes called the formal description. What it does, when it is put in contact with other things, is sometimes called the functional description.
Denotational and operational semantics
