Lines Matching refs:specific

4 Expressions), a DSL (domain-specific language) that we have developed
104 continues until some application-specific end-condition is met, for
125 translation consists of a bunch of specific equivalences. This is part
132 *priority*, i.e. applying a more specific rule before a less specific
142 not present in hand-written pattern-matching code: the specific rules
273 it does, it provides specific term values for each variable binding
306 heuristic is "more specific rule wins". We will see how ISLE resolves
342 possible terms while an expression must specify a specific rewrite
379 domain-specific applications of term-rewriting that emphasize its
404 eventually rewritten into terms that name specific machine
425 an ISA-specific instruction. Recall from above that in general, an
435 register. It simply may not be as efficient as the more specific third
520   wildcard; it must be a specific, concrete term.
537 will choose the "more specific" rule according to a particular
540 continues with further steps, the latter (more specific) is chosen.
542 The more-specific-first heuristic is usually good enough, but when an