Rewriting

(Riddel 21) POSTCOLONIALISM, POSTMODERNISM, REWRITING Addressing "
postcolonial intertextuality," Romita Choudhury observes that "no text is self-
contained. Neither is it an obedient follower of its predecessors." "The conception
of ...

Author: Christian Moraru

Publisher: SUNY Press

ISBN: 0791451070

Category: Literary Criticism

Page: 230

View: 189

DOWNLOAD →

Examines the tendency of post-World War II writers to rewrite earlier narratives by Poe, Melville, Hawthorne, and others.

Term Rewriting Systems

DEFINITION . Let S be a one - step strategy for an abstract rewriting system . The
corresponding hyper- or quasi - S strategy is the many - step strategy for + ,
where only many - steps of the form # . + s : or ending in a normal form are
allowed .

Author: Terese

Publisher: Cambridge University Press

ISBN: 0521391156

Category: Computers

Page: 884

View: 675

DOWNLOAD →

Table of contents

Term Rewriting and All That

strategies for orthogonal term rewriting systems . Klop ( 141 ) gives a nice
overview of the whole area and also covers the results by Huet and Lévy ( see
also [ 142 ] ) . Middeldorp [ 179 ] adapts the theory to the situation where proper
normal ...

Author: Franz Baader

Publisher: Cambridge University Press

ISBN: 0521779200

Category: Computers

Page: 301

View: 340

DOWNLOAD →

Unified and self-contained introduction to term-rewriting; suited for students or professionals.

Higher Order Algebra Logic and Term Rewriting

We discuss some aspects of term graph rewriting based on systems of recursion
equations. This is done for first-order signatures as well as lambda calculus. Also
relations with infinitary rewriting are discussed. 0. Introduction. In this paper we ...

Author: Gilles Dowek

Publisher: Springer Science & Business Media

ISBN: 3540612548

Category: Computers

Page: 296

View: 376

DOWNLOAD →

This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in September 1995. The 14 research papers included, together with an invited paper by Jan Willem Klop, report state-of-the-art results; the relevant theoretical aspects are addressed, and in addition existing proof systems and term rewriting systems are discussed.

Term Rewriting and Applications

Term Rewriting Systems are now commonly used as a modeling language for
programs or systems. On those rewriting based models, reachability analysis, i.e.
proving or disproving that a given term is reachable from a set of input terms, ...

Author: Frank Pfenning

Publisher: Springer Science & Business Media

ISBN: 9783540368342

Category: Computers

Page: 414

View: 627

DOWNLOAD →

This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Techniques and Applications, RTA 2006, held in Seattle, WA, USA in August 2006 within the scope of FLoC 2006, the 2006 Federated Logic Conference. The 23 revised full papers and 4 systems description papers carefully reviewed and selected from 52 initial submissions are presented together with 2 invited talks and a plenary talk of the hosting FLoC conference. The papers are organized in topical sections on constraints and optimization, equational reasoning, system verification, lambda calculus, theorem proving, system descriptions, termination, and higher-order rewriting and unification.

Strategic Rewriting

REWRITING CURIOSITY : THE PSYCHE MYTH IN APULEIUS , LA FONTAINE ,
AND D ' AULNOY Anne L . Birberick From the Middle Ages to the nineteenth
century , translations , imitations , and rewritings of the “ Cupid and Psyche " story
 ...

Author: David Lee Rubin

Publisher: Rookwood Press

ISBN: 1886365237

Category: History

Page: 288

View: 411

DOWNLOAD →

A broad-based, innovative survey of rewriting in several modalities: translation, adaptation, recycling, appropriation, and re-mediation, along with the effect of each on form and meaning, kind and canon, historical and discursive continuity, as well as the conceptualizing of gender. Essays on Du Bellay, Montaigne, La Ceppède, Tbéophile de Viau, Corneille, d'Aubignac, La Fontaine, Diderot, and recent Anglo-American translations of La Princesse de Cleves.

Rewriting Computation and Proof

2.2 Term Rewriting We use the standard notions and notations from [2,15] for first
-order term rewriting systems (TRSs). We also consider higher-order rewriting
systems with patterns (HRSs), defined by Nipkow [11]. At some places in the ...

Author: Claude Kirchner

Publisher: Springer Science & Business Media

ISBN: 9783540731467

Category: Computers

Page: 272

View: 879

DOWNLOAD →

Jean-Pierre Jouannaud has deeply influenced, and is still influencing, research in Informatics, through the many important results he has produced in various research fields and through the generations of scholars he has educated. He has played a leading role in field of rewriting and its technology, advancing the research areas of unification, rewriting and completion modulo, conditional rewriting, termination proofs, modular properties, and automated proofs by induction in rewrite theories. Following his strong interest for algebraic specification languages and their efficient implementation, Jean-Pierre Jouannaud has contributed to the design, semantics and implementation of OBJ2 and has recently augmented the Maude rewriting logic system with an essential feature: membership equational logic. He was a member of the CNU (National University Council) and a member of the CNRS national committee. He is now heading with great success the computer science laboratory at the Ecole Polytechnique thus showing his exceptional qualities as a research team manager and supervisor of students. This Festschrift volume, published to honor Jean-Pierre Jouannaud on his 60th Birthday on May 12, 2007, includes 13 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Cachan near Paris, France, on June 21-22, 2007. The papers are grouped in thematic sections on Rewriting Foundations, Proof and Computation, and a final section entitled Towards Safety and Security.

Rewriting Difference

The essays in this collection attempt to employ Irigaray's strategies of rewriting
the Ancient Greek intellectual traditions in ways fruitful and creative for a critical
theory of the political, one that engages primarily with the question of the other.

Author: Elena Tzelepis

Publisher: SUNY Press

ISBN: 9781438431017

Category: Literary Criticism

Page: 301

View: 689

DOWNLOAD →

A transdisciplinary reader on Luce Irigaray's reading and re-writing of Ancient Greek texts.

Symbolic Rewriting Techniques

Switzerland String Rewriting and Grobner Bases - A General Approach to
Monoid and Group Rings Klaus Madlener, Birgit Reinert Universitat
Kaiserslautern 67663 Kaiserslautern {madlener , reinert "inf ormat ik . uni-kl . de
Abstract.

Author: Manuel Bronstein

Publisher: Springer Science & Business Media

ISBN: 3764359013

Category: Computers

Page: 288

View: 537

DOWNLOAD →

Symbolic rewriting techniques are methods for deriving consequences from systems of equations, and are of great use when investigating the structure of the solutions. Such techniques appear in many important areas of research within computer algebra: • the Knuth-Bendix completion for groups, monoids and general term-rewriting systems, • the Buchberger algorithm for Gröbner bases, • the Ritt-Wu characteristic set method for ordinary differential equations, and • the Riquier-Janet method for partial differential equations. This volume contains invited and contributed papers to the Symbolic Rewriting Techniques workshop, which was held at the Centro Stefano Franscini in Ascona, Switzerland, from April 30 to May 4, 1995. That workshop brought together 40 researchers from various areas of rewriting techniques, the main goal being the investigation of common threads and methods. Following the workshops, each contribution was formally refereed and 14 papers were selected for publication.

Rewriting the Renaissance

Author: Margaret W. Ferguson

Publisher: University of Chicago Press

ISBN: 0226243141

Category: History

Page: 426

View: 213

DOWNLOAD →

Juxtaposing the insights of feminism with those of marxism, psychoanalysis, and deconstruction, this unique collection creates new common ground for women's studies and Renaissance studies. An outstanding array of scholars—literary critics, art critics, and historians—reexamines the role of women and their relations with men during the Renaissance. In the process, the contributors enrich the emerging languages of and about women, gender, and sexual difference. Throughout, the essays focus on the structures of Renaissance patriarchy that organized power relations both in the state and in the family. They explore the major conequences of patriarchy for women—their marginalization and lack of identity and power—and the ways in which individual women or groups of women broke, or in some cases deliberately circumvented, the rules that defined them as a secondary sex. Topics covered include representations of women in literature and art, the actual work done by women both inside and outside of the home, and the writings of women themselves. In analyzing the rhetorical strategies that "marginalized" historical and fictional women, these essays counter scholarly and critical traditions that continue to exhibit patriarchal biases.

Writing and Rewriting the Holocaust

Author: James Edward Young

Publisher: Indiana University Press

ISBN: 0253206138

Category: History

Page: 243

View: 667

DOWNLOAD →

A carefully prepared historiographical work interprets the meaning of Holocaust literature as it examines the perpetuation of Holocaust memory and understanding in several forms of media studied ... Includes an extensive bibliography of works.

Rewriting Texts Remaking Images

The question of rewriting or adapting texts has been studied by such scholars as
Todorov , Genette , Hutcheon , Eco , and Kristeva , among others . These critics
discuss various concepts , including intertextuality , hypotext and hypertext ...

Author: Leslie Anne Boldt-Irons

Publisher: Peter Lang

ISBN: 1433109719

Category: Art

Page: 289

View: 949

DOWNLOAD →

The twenty-four essays in Rewriting Texts Remaking Images: Interdisciplinary Perspectives examine the complex relationships between original creative works and subsequent versions of these originals, from both theoretical and pragmatic perspectives. The process involves the rereading, reinterpretation, and rediscovery of literary texts, paintings, photographs, and films, as well as the consideration of issues pertaining to adaptation, intertextuality, transcodification, ekphrasis, parody, translation, and revision. The interdisciplinary analyses consider works from classical antiquity to the present day, in a number of literatures, and include such topics as the reuse and resemantization of photographs and iconic images.

Rewriting Resemblance in Medieval French Romance

Rewriting the Boiling Fountain Through its rewriting of the rhetorical status of
semblances , the episode of the false Guenièvre raises the issue of legitimate
historical representation . Just as Galeran , through a new configuration of Le
Fresne ...

Author: Paul Vincent Rockwell

Publisher: Psychology Press

ISBN: 0815320353

Category: Literary Criticism

Page: 245

View: 436

DOWNLOAD →

First published in 1995. Routledge is an imprint of Taylor & Francis, an informa company.

Rewriting the Past

Rewriting. History. : The. Gaullist. Myth. Alongside the myth of the father resides
the historical myth created by De Gaulle and his followers to cleanse France of
the guilt of collaboration . In Modiano ' s texts , we are never far from the historical
 ...

Author: William VanderWolk

Publisher: Rodopi

ISBN: 9042001798

Category: Social Science

Page: 135

View: 998

DOWNLOAD →

Patrick Modiano (1945-) has published seventeen novels over the past twenty-seven years and is considered one of France's foremost writers. His first three works, dealing principally with the German occupation of France during World War II, are generally considered to have led to a reconsideration of the Gaullist myth which endured for twenty-five years after the war. Along with Marcel Ophuls's film, The Sorrow and the Pity, Modiano's novels opened French eyes to the more ambiguous role played during the occupation by the average French citizen. His subsequent novels have continued to probe the relationship between history, memory and fiction. This study will be of interest to readers of French fiction and history as it looks at their relation-ship to memory and shows that the three are inextricably linked in a way that enriches our understanding of our past, whether it be collective or personal. Modiano, while seemingly obsessed with his own past, in fact indicates an opening toward the future by attempting to put the past to rest in his fiction.

Efficient Graph Rewriting and Its Implementation

1.1 Graph Rewriting Everywhere? — The Purpose of Graph Rewriting Systems
Many problems in everyday life can be stated in terms of graphs. For instance,
when we need to know the best route connecting two different points in a town,
we ...

Author: Heiko Dörr

Publisher: Springer Science & Business Media

ISBN: 3540600558

Category: Computers

Page: 266

View: 155

DOWNLOAD →

Atherosclerosis, the most common disease in humans and also the main cause of death in the Western world, only develops after an intima is formed. The intima is defined as the region of the arterial wall from the endothelial surface to the luminal margin of the media. This volume considers all aspects of intima formation based on results which had been obtained by studying three different models: - Spontaneous intima formation; - Experimentally induced intima formation; - Latrogeneously induced intima formation.

Rewriting Techniques and Applications

Rewrite. Systems. (Extended. Abstract). Sophie Tison LIFL, Bât M3, Université
Lille 1 F59655 Villeneuve d'Ascq cedex, ... We will present some of the most
fruitful applications of tree automata in rewriting theory and we will give an outline
of ...

Author: Leo Bachmair

Publisher: Springer Science & Business Media

ISBN: 9783540677789

Category: Computers

Page: 273

View: 778

DOWNLOAD →

This book constitutes the refereed proceedings of the 11th International Conference on Rewriting Techniques and Applications, RTA 2000, held in Norwich, UK, in July 2000. The 15 revised full papers and three system descriptions presented together with two invited contributions were carefully reviewed and selected from 44 submissions. All current aspects of rewriting are addressed.

Frank tienne and Rewriting

Author: Rachel Douglas

Publisher: Lexington Books

ISBN: 0739136356

Category: Biography & Autobiography

Page: 206

View: 546

DOWNLOAD →

'Rewriting' in the context of critical work on Caribbean literature has tended to be used to discuss revisionism from a variety of postcolonial perspectives, such as 'rewriting history' or 'rewriting canonical texts.' By shifting the focus to how Caribbean writers return to their own works in order to rework them, this book offers theoretical considerations to postcolonial studies on 'literariness' in relation to the near-obsessive degree of rewriting to which Caribbean writers have subjected their own literary texts. Focusing specifically on FrankZtienne, this book offers an overview of how the defining aesthetic and thematic components of FrankZtienne's major works have emerged over the course of his forty-year writing career. It reveals the marked development of key notions guiding his literary creation since the 1960s, and demonstrates that rewriting illustrates the central aesthetic of the Spiral which has always shaped his Iuvre. It is, the book argues, the constantly moving form of the Spiral which FrankZtienne explores through his constant reworking of his previously written texts. FrankZtienne and Rewriting negotiates between the literary and material ends of the burgeoning field of postcolonial studies, arguing that literary characteristics in FrankZtienne connect with changing political, social, economic, and cultural circumstances in the Haiti he rewrites.

Rewriting the Self

Author: Roy Porter

Publisher: Psychology Press

ISBN: 0415142792

Category: History

Page: 283

View: 760

DOWNLOAD →

Rewriting the Self represents a rare coming together of leading academics from different fields, and offers a stimulating and controversial account of the meanings and histories of identity and the self.

Rewriting Life Scripts

Author: Liliane Desjardins

Publisher: Loving Healing Press

ISBN: 9781932690972

Category: Self-Help

Page: 184

View: 958

DOWNLOAD →

"Rewriting Life Scripts" contains information, explanation, and processes for change that embrace an entire family, not just the alcoholic or drug addict. The steps outlined can bring peace of mind, forgiveness, and reconciliation.

Term Rewriting

Automated deduction motivates the introduction of several extensions of rewriting
, especially ordered rewriting, class rewriting and rewriting with constraints. This
paper is a survey of these three notions, shows the evolution between them and ...

Author: Hubert Comon

Publisher: Springer Science & Business Media

ISBN: 3540593403

Category: Computers

Page: 221

View: 686

DOWNLOAD →

This volume contains thoroughly revised versions of the contributions presented at the French Spring School of Theoretical Computer Science, held in Font Romeu, France in May 1993. This seminar was devoted to rewriting in a broad sense, as rewriting is now an important discipline, relating to many other areas such as formal languages, models of concurrency, tree automata, functional programming languages, constraints, symbolic computation, and automated deduction. The book includes a number of surveys contributed by senior researchers as well as a few papers presenting original research of relevance for the broader theoretical computer science community.