| 
|
Quote: Herbrand expression equivalence treats operators as uninterpreted functions; used for global value numbering; expression equivalence is undecidable
Topic:
code optimization by global analysis
Quotation Skeleton
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-1 Google-2
Copyright clearance needed for quotation.
Topic: code optimization by global analysis (24 items)