Learn to to build software language engineering processors using principled methods: generalised parsing, attribute grammar, term rewriting and Structural Operational Semantics.