An interpretator/semantic analyser for a subset of features in an imperative language.