过程语义

procedural semantics