Next:
User-defined equality and comparison
, Previous:
Unique modes
, Up:
Top
[
Contents
]
7 Determinism
•
Determinism categories
•
Determinism checking and inference
•
Replacing compile-time checking with run-time checking
•
Interfacing nondeterministic code with the real world
•
Committed choice nondeterminism