結果 : formal semantics of programming languages