The abstract syntax and static and dynamic semantics for the ASM notation are given.

• 提供了关于ASM的抽象语法和静态、动态语义。