操作(算法)约定

目录

• 运行时语义：Runtime Semantics
• 术语