Quote: Herbrand expression equivalence treats operators as uninterpreted functions; used for global value numbering; expression equivalence is undecidable

Since the equivalence problem is undecidable, … expressions are considered equivalent if and only if … the operators are treated as uninterpreted functions, is … [ref], are widely used in optimizing compilers.
Google-1Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: code optimization by global analysis (24 items)