- Interpretive : meaning is expressed in terms of some simple abstract m/c.
- Axiomatic : where rules describe data values given various objects before and after execution of various language features.
- Denotational : syntactic pieces of program are mapped via evaluation functions into the abstract values they denote to humans.
相关文章：