Products include zero-speed slicing unwinds, flying pasters, automatic transfer rewinds, unwind/rewind stands and
inregister splicing.
InRegister do /* -- Test equality join condition -- */ if [exprclass.sub.1] [is not equal to] [exprclass.sub.2] then continue ; In order to enumerate all redex nodes for a rule r = (L, R) correctly, the path problems have to be nested again.
Relations Stmts, Exprs, REPLACE_IN, Computes, InRegister. Output: Modified intermediate code: expressions replaced by UseReg expressions.