Lines Matching refs:computation

319 It is undefined behavior if a computation history featuring a send of
322 semantics to a computation history in which these sends are removed.  Note that
325 It is undefined behavior if a computation history features any use whatsoever
1636 non-contiguous subsequence of the computation history of the program.
1645 computation history beyond what is permitted by the general "as if"
1669 ARC makes no guarantees about the execution of a computation history
1702 time ``T`` in a computation history if:
1709   before the next store to ``S``, the computation history features a
1714   the end of the full-expression, the computation history depends
1727 A computation history depends on a pointer value ``P`` if it:
1783 If, in the formal computation history of the program, an object ``X``