使人烦燥
发表于 2025-3-30 10:11:13
Optimizing equational programs,e reduction process. We show that our transformations indeed give . and . the mutual confluence property, thus preserving the output behavior of . when transformed to ...Preserving the output behavior is more general than preserving just normal forms, in that we allow for infinite computations where
gratify
发表于 2025-3-30 16:00:57
Detecting looping simplifications,the interaction of several rules, but it is limited to those cases where each application of a rule occurs inside of the previous rule application. Experiments suggest that the simplest form of the algorithm is about 80 percent effective in eliminating bad orientations of rules. The algorithm never
武器
发表于 2025-3-30 17:26:56
Code generator generation based on template-driven target term rewriting,struction pattern..The local and global optimizations phases as well as the storage management phase may be realized by multipass rewritings and attribute evaluations of the canonical form..In the last phase of code production, each pattern instruction instance of the updated intermediate form is re
抗体
发表于 2025-3-30 21:26:11
Optimizing equational programs,ubterm that matches the left hand side of the equation is replaced by the corresponding right hand side. In that process several . of the term tree are created. Some of these nodes may later turn out to be useless, and will be reclaimed..This paper discusses important relationships between two equat
合适
发表于 2025-3-31 01:13:49
How to choose the weights in the Knuth Bendix ordering,weights of the operators they contain. Our purpose in this paper is twofold. First we give some examples to indicate the flexibility of the method. Then we give a simple and practical algorithm, based on the simplex algorithm, for determining whether or not a set of rules can be ordered by a Knuth B
Moderate
发表于 2025-3-31 05:15:20
Detecting looping simplifications, rewrite rule .→. leads to an infinite sequence of “simplifications”. The rule .→. can be tested in the same way. Rules leading to infinite simplifications should not be included in a rewrite system. In general, the problem of deciding whether a set of rewrite rules leads to infinite simplifications
影响带来
发表于 2025-3-31 11:56:50
Combinatorial hypermap rewriting,a purely combinatorial formulation of the rewriting mechanism. We illustrate this definition by providing a hypermap grammar which generates the set of all connected planar maps. We also investigate a special kind of hypermap grammars, the H-grammars, for which we give a Pumping Theorem enlightening
isotope
发表于 2025-3-31 17:07:05
http://reply.papertrans.cn/83/8300/829958/829958_58.png
撤退
发表于 2025-3-31 18:47:07
http://reply.papertrans.cn/83/8300/829958/829958_59.png
Hemiplegia
发表于 2025-4-1 01:04:54
Some results about confluence on a given congruence class,he term-rewriting systems under consideration contain unary function symbols only, and all their rules are length-reducing. On the other hand, for certain subclasses of these systems confluence on a given congruence class is decidable.