变换语义

transformation semantics