Title: Mathematical semantics and compiler generation