Results 281 to 290 of about 31,656 (296)
Some of the next articles are maybe not open access.
Rewriting the Renaissance, Rewriting Ourselves
Shakespeare Quarterly, 1987My purpose is to assess, from a feminist standpoint, the current relations between new historicism and feminist criticism. I shall begin with two institutional moments: Stephen Orgel's reading of "Prospero's Wife" at the "Renaissance Man/Renaissance Woman" conference at Yale University in March 1982 and the meetings of the seminar on "Images of Gender ...
openaire +2 more sources
A Rewriting Machine and Optimization of Strategies of Term Rewriting
Cybernetics and Systems Analysis, 2002zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Letichevskii A, Khomenko V
openaire +3 more sources
Optimization of rewriting and complexity of rewriting
1990Term rewriting technique is one of basic deduction tools in algebraic and logic programming. Computing the normal forms of terms is the fundamental step. In this paper, we design several strategies for term rewriting systems. We divide non-ambiguous and left-linear term rewriting systems into three subclasses: variable-more, variable-equal, and ...
openaire +2 more sources
1999
This chapter introduces term rewriting and some of its applications from different points of view. Rewriting is first presented as an abstract relation on a set, and properties of such relations, mainly confluence and well-foundedness, are introduced. A more concrete notion of rewriting is then defined on first-order terms.
openaire +2 more sources
This chapter introduces term rewriting and some of its applications from different points of view. Rewriting is first presented as an abstract relation on a set, and properties of such relations, mainly confluence and well-foundedness, are introduced. A more concrete notion of rewriting is then defined on first-order terms.
openaire +2 more sources
Rewriting the world, rewriting the body
1999Possibly the most heated critical controversy in English Renaissance studies has concerned the question of personal identity, the existence of the self. New Historicists and cultural materialists have maintained that the self is always a social construct, branding their opponents as naive essentialists. From a less parochial viewpoint, the argument may
openaire +2 more sources
Rewrite orderings and termination of rewrite systems [PDF]
, 1991 Termination or halting is essential in the proof of properties of programs. In 1936, Turing proved its undecidability for the computation model he devised. In 1942, Newman [New42] noticed the importance of termination for the proof of confluence of what he called equivalence and what we would call today rewrite rules.
openaire +1 more source
Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
Transfinite derivations having a limit and (infinitary) \(\alpha\)-normal forms (\(\alpha\) is an ordinal number) in term-rewriting systems are introduced. The following properties are particularly studied: \(\omega\)- closure, top-termination, \(\omega\)-normalization, \(\omega\)-confluence (sufficient and necessary conditions are derived).Dershowitz, Nachum +2 more
openaire +1 more source
1996
‘Everything is negotiable,’ says Michael Donaghy, talking on a BBC tape about writing poetry, which means he thinks you ought to do a lot of negotiating if you want your writing to be successful. Margaret Atwood, trying to explain the writing process in The Writer on Her Work by Janet Sternburg, makes nine attempts to answer the question: Why do you ...
Luckhurst, Mary E +2 more
openaire +3 more sources
‘Everything is negotiable,’ says Michael Donaghy, talking on a BBC tape about writing poetry, which means he thinks you ought to do a lot of negotiating if you want your writing to be successful. Margaret Atwood, trying to explain the writing process in The Writer on Her Work by Janet Sternburg, makes nine attempts to answer the question: Why do you ...
Luckhurst, Mary E +2 more
openaire +3 more sources
1994
So far, the works in this area have tried to define suitable properties of non-terminating relations in order to guarantee that the intended infinite term can be reached as the limit of w-converging derivations. The main advantage of these approaches is the generality of the framework with respect to the set of infinite definable terms: no a priori ...
INVERARDI, PAOLA +1 more
openaire +3 more sources
So far, the works in this area have tried to define suitable properties of non-terminating relations in order to guarantee that the intended infinite term can be reached as the limit of w-converging derivations. The main advantage of these approaches is the generality of the framework with respect to the set of infinite definable terms: no a priori ...
INVERARDI, PAOLA +1 more
openaire +3 more sources
Termination of context-sensitive rewriting by rewriting
1996Context-sensitive rewriting allows us to deal with certain context-replacing restrictions in performing reduction steps. This is useful in avoiding undesirable reductions. In this paper, we study termination of context-sensitive rewriting. We give some conditions under which it is possible to analyze the termination of the context-sensitive rewrite ...
openaire +2 more sources