以下为句子列表：
英文: A conforming implementation executing a well-formed program shall produce the same observable behavior as one of the possible execution sequences of the corresponding instance of the abstract machine with the same program and the same input.
中文: 当一个符合标准的实现执行一个完备的程序时，其产生的可观察行为应该与该实现的抽象机器对应实例依据同一程序和同一输出产生的可能执行序列之一相同。
更详细...
英文: An instance of the abstract machine can thus have more than one possible execution sequence for a given program and a given input.
中文: 对于一个已知程序和已知数据，虚拟机器的实例将因其非确定方面产生不只一个可能的执行序列。
更详细...
英文: Certain other aspects and operations of the abstract machine are described in this International Standard as unspecified (for example, order of evaluation of arguments to a function).
中文: 本标准将虚拟机器的其他一些方面和操作描述为未指明的（如函数参数的求值顺序）。
更详细...
英文: These constitute the parameters of the abstract machine.
中文: 这些就形成了虚拟机器的实现参数。
更详细...
|
