Mathematical semantics and compiler generation — doctoral thesis by Peter Mosses