Explicit Specification Statement 外显规格叙述
reformat specification statement 重定格式说明语句
reformat specification statement set 重定格式说明语句集
·2,447,543篇论文数据，部分数据来源于NoteExpress
Each probe clause consists of a probe point specification statement, action block, and an optional predicate.
每个探测子句由一个探测点指定语句、动作块和可选的断言组成。
youdao
A specification statement cannot appear in the executable section.
说明语句不可出现于可执行的部分。
应用推荐
模块上移
模块下移
不移动