On 26 May 2000, at 11:26, Olivier Lecarme wrote:
In some standard documents, formal specification methods have been used, and anybody thinking that the Pascal or Extended Pascal standards are difficult should consider the standards for Algol 68, Ada or Modula-2.
The Ada 95 standard, a.k.a., the Language Reference Manual, is a model of clarity compared to the EP standard (I have read both). For example, in answering the question as to whether it is legal to transfer into a loop, the Ada 95 LRM says:
"The innermost sequence_of_statements that encloses the target statement shall also enclose the goto_statement."
and then further clarifies this statement with this note:
"The above rules allow transfer of control to a statement of an enclosing sequence_of_statements but not the reverse."
In my opinion, that is substantially clearer than the EP rules cited earlier.
-- Dave