Interpreting
COP-5621
Agenda
- High-level goal:
- Interpreters vs. compilers
- Language processing
- Specifying the meaning of language constructs, using the grammar
- Syntax driven definitions, expression interpreter
- Proof rules, operational semantics
- Notation convention
- While language semantics
- Example proof rules, while loops, for loops, etc.
- Implementing the interpreter, tree walking, visitors