1
This research was supported in part by the NSF grants CCR-0234690 and ITR-0326577, and the DFG grant BE 1761/3-1.
2
stmt
... denotes a sequence of one or more
stmt
s.
3
Context conditions are marked with →.
4
~
can be
=
,
!=
,
<=
,
<
,
>=
,
>
.