Contents   Index   Search   Previous   Next


11.6 Exceptions and Optimization

1
   This clause gives permission to the implementation to perform certain ``optimizations'' that do not necessarily preserve the canonical semantics.

Dynamic Semantics

2
   The rest of this International Standard (outside this clause) defines the canonical semantics of the language. The canonical semantics of a given (legal) program determines a set of possible external effects that can result from the execution of the program with given inputs.
3
   As explained in 1.1.3, ``Conformity of an Implementation with the Standard'', the external effect of a program is defined in terms of its interactions with its external environment. Hence, the implementation can perform any internal actions whatsoever, in any order or in parallel, so long as the external effect of the execution of the program is one that is allowed by the canonical semantics, or by the rules of this clause.

Implementation Permissions

4
   The following additional permissions are granted to the implementation:
5
6
NOTES
7
3  The permissions granted by this clause can have an effect on the semantics of a program only if the program fails a language-defined check.

Contents   Index   Search   Previous   Next   Legal