| << Prev | - Up - | Next >> |
Missing: fd compare
| <statement> ::= | |||
|
| <statement> ::= | |||
|
| <expression> ::= | |||
|
| <expression> ::= | |||
|
| <statement>, <expression> ::= | |||
| |||
where the omitted parts of the exception are implementation-dependent. |
| <statement> ::= | |||
|
| <statement>, <expression> ::= | |||
| |||
where the omitted parts of the exception are implementation-dependent. |
| <cond statement clause>, <dis statement clause> ::= | |||
| |||
if D is not a sequence of distinct variables and where {x1, ..., xn} = PV(D) and D' is D with singleton variables and escapes removed. |
| <cond expression clause> ::= | |||
| |||
if D is not a sequence of distinct variables and where {x1, ..., xn} = PV(D) and D' is D with singleton variables and escapes removed. |
Missing: translation of cond/or/dis/choice expression into statement
The following rewrite rules make use of an auxiliary function Proc, defined as follows:
L | Proc(L) |
|---|---|
S1 |
|
S1 |
|
| <statement> ::= | |||
|
| <statement> ::= | |||
|
| <statement> ::= | |||
|
| <statement> ::= | |||
|
| << Prev | - Up - | Next >> |