These checking rules guarantee that any method or … assumed to be idempotent, and methods that are … a local read method is guaranteed to be … depends on the parameters passed to it, and … same result. [footnote] Because of non-determinism (e.g., allocating … however, it is always correct for a compiler …
Google-1
Google-2
Copyright clearance needed for quotation.