এই পাঠটি: Mathematical semantics and compiler generation