Ada Reference ManualLegal Information
Contents   Index   References   Search   Previous   Next 

11.6 Exceptions and Optimization

This clause gives permission to the implementation to perform certain “optimizations” that do not necessarily preserve the canonical semantics. 

Dynamic Semantics

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. 
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

The following additional permissions are granted to the implementation: 
5  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   References   Search   Previous   Next 
Ada-Europe Sponsored by Ada-Europe