結果 : define semantics in programming language