First page Back Continue Last page Overview Graphics
Correct and Efficient
Semantics do not depend on definition order
Intelligently uses dicts, binary search, etc.
Fanout optimization and dependency detection:
- Tests “more selective” rules first
- But only if precondition expressions met first
Performs many checks “in parallel”
Notes: