the specification of an executable statement that forms an abstraction of a computational procedure.
动作是一条可执行语句的规格说明,此规格说明形成计算例程的抽象。
the goto label statement can unconditionally exit from a loop and transfer control to the executable statement or statement block that follows the specified statement label.