...code.
= =1 .5 - =.9

Although certain control flow statements, such as for loops, do not display this characteristic, there is typically a single comparison or jump instruction that performs the important function of the statement. This will be referred to as the representative instruction.

...conjunctive
= =1 .5 - =.9

It will not be possible to set ``conjunctive'' conditional breakpoints in AP sections. This is because, due to the lack of inter-thread communication in these sections (since communication is not legal in shattered control flow, nor is explicit reference to parallel arrays permitted in promoted functions), the virtual time of any such breakpoint necessarily belongs to the ``unordered-SCP'' set defined by Miller and Choi (see Section gif), and is inherently un-detectable.

Steve McLaughry
Fri May 30 15:48:07 PDT 1997