O presente trabalho teve como objetivo discutir questões sobre memória e intertextualidade, a partir dos diferentes textos constituintes da obra Vulgo Grace da autora canadense Margaret Atwood. A autora recupera a trajetória verídica de Grace Marks, uma criada condenada à prisão perpétua por ser cúmplice no assassinato do patrão e da governanta da casa em que trabalhava. Grace apresenta sinais de amnésia sobre os fatos ocorridos nos assassinatos e, nessa situação, um comitê que acredita na sua inocência convida o jovem médico americano Simon Jordan para descobrir a verdadeira causa dessa aparente amnésia. Dentro desse contexto, foi observada a presença significativa da memória e da intertextualidade como itens essenciais na obra. O método utilizado na análise foi o enfoque de três partes: a narração em primeira pessoa de Grace, a narração em terceira pessoa sobre Simon e os paratextos. A análise se deu por meio do cotejo entre os diferentes tipos de texto, tendo como base os conceitos de intertextualidade de Júlia Kristeva e Tiphaine Samoyault e memória de Márcio Seligmann-Silva, Michael Pollak e Alba Olmi Outros conceitos como o significado dos sonhos de Sigmund Freud e a metaficção historiográfica de Linda Hutcheon também se fazem presentes na análise. Esse estudo comparativo resultou na descoberta de diferentes relações entre os textos sendo que conceitos além das questões de memória e intertextualidade foram descobertos. A memória te grande significado na construção das relações humanas e na relação do ser com o passado. O presente trabalho mostra-se relevante em relação aos estudos de memória pelo fato de discutir e apresentar outros meios e outras ligações entre os intertextos como também se insere nos estudos da autora Margaret Atwood no Brasil. / The present thesis intended to discuss some issues related to memory and intertextuality, taking as a starting point the different texts from Alias Grace (Vulgo Grace), written by the Canadian writer Margaret Atwood. The book retrieves the true story of Grace Marks, a maid sentenced to life imprisonment for being an accomplice to the murder of her employer and the housekeeper in the house where she used to work. Grace presented symptoms of amnesia, forgetting the facts that occurred in the murders. In that situation, a small committee who believe in Grace’s innocence hires the young American doctor Simon Jordan to discover the true reason for this apparent amnesia. In this context, a significant presence of memory and intertextuality as essential items of story could be observed. The method applied here was the focus on three parts: the first-person narration by Grace, the thirdperson narration about Simon and the paratexts. The analysis was made through the comparison between the different types of texts, based on intertextuality concepts stated by Júlia Kristeva and Tiphaine Samoyault and memory concepts presented by Márcio Seligmann-Silva, Michael Pollak, and Alba Olmi. Other concepts, such as the meanings of dreams, developed by Sigmund Freud, and the historiographic metafiction, elaborated by Linda Hutcheon, are also included in this analysis.

La vérification déductive de programmes consiste à annoter des programmes par une spécification, c'est-à-dire un ensemble de formules logiques décrivant le comportement du programme, et à prouver que les programmes vérifient bien leur spécification. Des outils tels que la plate-forme Why prennent en entrée un programme et sa spécification et calculent des formules logiques telles que, si elles sont prouvées, le programme vérifie sa spécification. Ces formules logiques peuvent être prouvées automatiquement ou à l'aide d'assistants de preuve.Lorsqu'un programme est écrit dans un langage supportant les alias de pointeurs, c'est-à-dire si plusieurs variables peuvent désigner la même case mémoire, alors le raisonnement sur le programme devient particulièrement ardu. Il est nécessaire de spécifier quels pointeurs peuvent être égaux ou non. Les invariants des structures de données, en particulier, sont plus difficiles à vérifier.Cette thèse propose un système de type permettant de structurer la mémoire de façon modulaire afin de contrôler les alias de pointeurs et les invariants de données. Il est basé sur les notions de région et de permission. Les programmes sont ensuite interprétés vers Why de telle façon que les pointeurs soient séparés au mieux, facilitant ainsi le raisonnement. Cette thèse propose aussi un mécanisme d'inférence permettant d'alléger le travail d'annotation des opérations de régions introduites par le langage. Un modèle est introduit pour décrire la sémantique du langage et prouver sa sûreté. En particulier, il est prouvé que si le type d'un pointeur affirme que celui-ci vérifie son invariant, alors cet invariant est effectivement vérifié dans le modèle. Cette thèse a fait l'objet d'une implémentation sous la forme d'un outil nommé Capucine. Plusieurs exemples ont été écrits pour illustrer le langage, et ont été vérifié à l'aide de Capucine. / Deductive verification consists in annotating programs by a specification, i.e. logic formulas which describe the behavior of the program, and prove that programs verify their specification. Tools such as the Why platform take a program and its specification as input and compute logic formulas such that, if they are valid, the program verifies its specification. These logic formulas can be proven automatically or using proof assistants.When a program is written in a language supporting pointer aliasing, i.e. if several variables may denote the same memory cell, then reasoning about the program becomes particularly tricky. It is necessary to specify which pointers may or may not be equal. Invariants of data structures, in particular, are harder to maintain.This thesis proposes a type system which allows to structure the heap in a modular fashion in order to control pointer aliases and data invariants. It is based on the notions of region and permission. Programs are then translated to Why such that pointers are separated as best as possible, to facilitate reasoning. This thesis also proposes an inference mechanism to alleviate the need to write region operations introduced by the language. A model is introduced to describe the semantics of the language and prove its safety. In particular, it is proven that if the type of a pointer tells that its invariant holds, then this invariant indeed holds in the model. This work has been implemented as a tool named Capucine. Several examples have been written to illustrate the language, and where verified using Capucine.

This experimental study investigated the relationship between the independent measures of font selection, type size, and type rendering technology and the dependent measures of legibility, as measured by the Chapman-Cook speed of reading test, as well as comprehension, as measured by a series of questions from the verbal comprehension section of the Graduate Record Exam. An electronic instrument presented test items in 12 different typographic styles. The study tested 117 college students at a university in southwestern Virginia. Each participant encountered anti-alias type rendering style and the orthochromatic type rendering style while participants were randomly assigned to either Helvetica or Palatino (font selection) and 8, 10 or 12 point type size. Results indicated that the 12 point type size was read more quickly than either 8 point type or 10 point type. There was also an interaction between font selection and type rendering technology for speed of reading: Helvetica without an anti-alias was read more quickly than Helvetica with an anti-alias and more quickly than Palatino without an anti-alias. These findings contradict an earlier, similar study. There were no significant results with regard to comprehension. <i>[Vita removed Oct. 13, 2010. GMc]</i> / Ph. D.

The central tenet of the study is that language and madness are bound together, language both including madness and perpetuating the exclusion of madness as 'other'. The first chapter considers the representation of madness in Atwood's novels The Edible Woman, Surfacing and Alias Grace from the perspective ofFoucauldian and Kristevan theories oflanguage and madness. Alias Grace becomes the focus in the second chapter. Here the syntax of madness is traced during Grace's stay in the mental asylum. Language, madness and sexuality are revealed as a palimpsest written on Grace's body. The final chapter looks at Grace's incarceration in the penitentiary and her dealings with the psychologist Dr. Simon Jordan where Grace's narrative tightly threads language and madness together. Underlying each chapter is a concern with how language and madness are in permanent interaction and opposition writing themselves onto society and onto Grace. / English Studies / M.A. (English)

This study examines Canadian works of fiction that contain historical trial narratives and that enact an adversarial trial of their own for an implied reader who acts as 'appellate judge.'' Included are four Canadian novels published after 1970 that fictionalize the circumstances leading to notorious criminal trials: Margaret Atwood's Alias Grace (1996), Lynn Crosbie's Paul's Case: The Kingston Letters (1997), and Rudy Wiebe's The Temptations of Big Bear (1973) and The Scorched-Wood People (1977). They represent commentaries on the justice or injustice done to convicted murderer Grace Marks (whose trial took place in 1843), to rebel Cree chief Big Bear and Metis leader Louis Riel (1885), and to serial rapists and killers Karla Homolka and Paul Bernardo (1993, 1995). / Each work reproduces excerpts from the original trial yet also represents a response to the historical trial's unfolding. This adversarial response takes the form of a trial-like narrative (or counternarrative) that engages with the original trial. Consequently each of these works is what I call a 'trial novel' that raises fundamental questions about justice and citizenship. / Chapter One analyzes Atwood's Alias Grace and lays bare the fictional constructs included in a trial narrative. Chapter Two looks at Crosbie's Paul's Case and pits the judicial system's claim to sober neutrality against a more populist version of justice based on affect and revenge. Finally, Chapter Three, which is devoted to Wiebe's novels, studies the conflict of normative universes implicit in trials for treason and posits that rebel nomoi are as coherent as the dominant ones that quash them. / Three communities are implicit in these novels and enter into a debate with one another: at the core of each work is a historical community of persons (the accused, attorneys, the judge, jurors, and members of the Canadian public) mobilized around an actual crime. This original community and its judgment provide the inspiration for the fictional community of the novel, which grapples with its own version of the crime and trial. Finally, an imaginative community of readers deliberates upon the questions raised both by the original trial and by the 'trial novel'.

The central tenet of the study is that language and madness are bound together, language both including madness and perpetuating the exclusion of madness as 'other'. The first chapter considers the representation of madness in Atwood's novels The Edible Woman, Surfacing and Alias Grace from the perspective ofFoucauldian and Kristevan theories oflanguage and madness. Alias Grace becomes the focus in the second chapter. Here the syntax of madness is traced during Grace's stay in the mental asylum. Language, madness and sexuality are revealed as a palimpsest written on Grace's body. The final chapter looks at Grace's incarceration in the penitentiary and her dealings with the psychologist Dr. Simon Jordan where Grace's narrative tightly threads language and madness together. Underlying each chapter is a concern with how language and madness are in permanent interaction and opposition writing themselves onto society and onto Grace. / English Studies / M.A. (English)

Languages such as C use pointers very heavily. Implementation of operations on dynamically linked structures is, however, quite difficult. This can cause the programmer to make more mistakes than usual. One method for dealing with this situation is to use the static analysis tools. This thesis elaborates on the extension to the Code Listener architecture which is an interface for building static analysis tools. Code Listener is able to construct a call-graph or a control flow graph for a given source code and send it to the analyzing tool. One ability of the architecture is that it can conduct the live variable analysis internally. It detects places in the control flow graph where some subset of variables may be killed. The problem was that every variable for which a pointer address was assigned could not been killed, before. This decision had been made because there was no assurance that the variable could never been used through the pointer. So the goal of this work was to design and incorporate a points-to analysis which is able to exclude some references from the set of considered pointers to improve the live variable analysis.

No description available.

Teilw. zugl.: Köln, Universiẗat, Diss., 2004.

No description available.