as-if rule
in programming language standards, the interpretive principle that allows compilers to apply any optimizing transformation to a program, as long as it doesn’t change the observable behavior of the program as specified in the standard
en-GB/æs - ˈɪf ˈɹuːl/
en-US/ˈɛz - ɪf ˈɹul/