程序

语法：

 语义：

 产生式 Program : SourceElementsopt 依照下面的步骤来解释执行 :

1. 若 SourceElements 的指令序言 ( 参考 14.1 章 ) 中 , 包含严格模式指令 , 或者满足 10.1.1 章节所描述的任何一个条件 . 则 Program 的代码 . 就是一段严格模式代码 . 并对应性的 , 以严格模式或非严格模式 , 依照下面列出的步骤来解释执行代码 .
2. 若没有 SourceElements 部分 , 则返回 (normal, empty, empty).
3. 令 progCxt 为一个新的 , 如 10.4.1 章节所描述的 , 应用于全局代码的执行环境 .
4. 令 result 为解释执行 SourceElements 的结果 .
5. 退出 progCxt 这个执行环境 .
6. 返回 result.

 本规范不会规定 , 具体如何解释执行一个 Program 以及如何处理其结果 . 其具体行为由 ECMAScript 实现 , 自行定义

 产生式 SourceElements : SourceElements SourceElement 依照下面的步骤来解释执行 :

1. 令 headResult 为解释执行 SourceElements 的结果 .
2. 若 headResult 是非常规性完结的 , 返回 headResult.
3. 令 tailResult 为解释执行 SourceElement 的结果 .
4. 若 tailResult.value 为 empty, 令 V = headResult.value, 其他情况 , 另 V = tailResult.value.
5. 返回 (tailResult.type, V, tailResult.target).

 产生式 : SourceElement : Statement 依照下面的步骤来解释执行 :

1. 返回解释执行 Statement 的结果 .

 产生式 : SourceElement : FunctionDeclaration 依照下面的步骤来解释执行 :

1. 返回 (normal, empty, empty)