Este trabalho tem como preocupação primeira investigar a formação de futuros professores de português no que se refere ao trabalho com a escrita. Seu principal objetivo é analisar, a partir de uma abordagem discursiva ancorada, sobretudo, nos pressupostos teóricos da Análise do Discurso de linha francesa (AD), o processo de reescrita textual, particularmente daquela reescrita que se circunscreve a situações tipicamente escolares, ou seja, informada pela intervenção de natureza didática em que o professor - ou alguém que assume tal posição - propõe a atividade de reelaboração textual. O corpus é formado por textos que correspondem às respostas fornecidas por formandos em Letras a uma das questões discursivas de Lingüística e Língua Portuguesa solicitada, no ano de 2001, pelo Exame Nacional de Cursos (ENC) - o Provão, atual ENADE. Nessa questão, solicitou-se aos formandos que, com o apoio de noções lingüísticas, apresentassem três soluções para o problema dos elos coesivos presente em um texto originalmente produzido por uma menina de 10 anos. Desse contexto é que surgiu uma das formas de resposta dos formandos à solicitação do Exame: a reescrita como forma de correção daquilo que foi identificado pelos escreventes como \'erro\'. Foram utilizados dois procedimentos de análise: a) a consideração das relações dialógicas estabelecidas entre os formandos e o textobase, a qual resultou em um tipo de intervenção eminentemente resolutiva dos supostos \'problemas\' apresentados pela produção da menina; e b) a busca das operações lingüísticas presentes nos processos de reescrita textual. Em razão das condições em que se produziram, mas também em função do apagamento de aspectos discursivos apreensíveis nos efeitos de sentido existentes no texto reescrito pelos formandos (para além, portanto, dos objetivos inicialmente colocados pelo Provão), as reescritas analisadas resultaram em textos menos expressivos se comparados com aquele que lhes serviu como pontos de partida. Tal constatação, evidenciada nas análises, aponta para o fato de que todo processo de reescrita tenderá ao fracasso, se tão-somente vinculado a questões de ordem lingüística, uma vez que, determinantes da expressividade de todo e qualquer texto, são também os aspectos relativos aos efeitos de sentido e às condições em que um dado discurso se produz. / This research\'s first concern is to investigate the formation of future Portuguese teachers, regarding work with writing. Its main objective is to analyze, starting from a discursive approach anchored especially on the theoretical assumptions of the French Discourse Analysis (DA), the processes of textual writing, particularly rewriting involved in typical school situations, i.e., informed by the intervention of a didactic nature in which the teacher - or someone assuming this position - proposes the activity of textual rewriting. The corpus is formed by texts which correspond to the answers given by Language & Literature students to one of the discursive questions of Linguistic and Portuguese Language requested by the National Course Exam (ENC) in 2001, the so-called \"Provão\", currently ENADE. In this question, with the support of linguistic notions, the students were requested to present three solutions for the problem of cohesive links present in a text originally produced by a 10-year old girl. This context generated one of the students\' answers to the Exam\'s request: rewriting as a form to correct what had been identified by the students as a \"mistake\". Two analytical procedures have been used: a) the consideration of the dialogic relations established among the students and the base-text, which resulted in a type of intervention mainly resolutive of the supposed \'problems\' presented by the girl\'s production; and b) the search for the linguistic operations present in the textual rewriting processes. Due to the conditions in which they were produced, but also due to the erasure of discursive aspects noted in the meaning effects existing in the text rewritten by the college students (therefore, beyond the objectives initially presented by the ENADE), the analyzed rewriting resulted in less expressive texts in comparison to that used as their starting point. This realization, shown in the analyses, indicate the fact that all rewriting processes will tend to fail, if only linked to linguistic issues, as the aspects related to the meaning effects and the conditions in which a certain discourse is produced are also determinants of the expressiveness of any text.

O presente trabalho tem como objetivo central estabelecer uma visão crítica do ensino de Língua Portuguesa, em dias atuais, apontando aspectos teóricos e práticos importantes, no processo de ensino/aprendizagem, e propostas de análises estilísticas das canções de Nei Lopes e Arlindo Cruz. Reiteram-se alguns aspectos funcionais do idioma, associando-os às situações comunicativas, com vistas à formação do cidadão linguístico. Investigam-se os recursos expressivos presentes em 10 letras de cada compositor, constituindo-se, assim, o corpus da pesquisa. Para as análises teóricas, revisitam-se os princípios da Estilística propostos por Nilce SantAnna Martins, Manuel Rodrigues Lapa, dentre outros, descrevendo o conceito de estilo, a representação da afetividade na linguagem, o valor da expressão, as marcas da subjetividade. Indicam-se o percurso do samba na cidade do Rio de Janeiro e as raízes do gênero musical. Destacam-se a identidade cultural do povo carioca e a importância dos compositores estudados, quanto às representações linguístico-culturais. No decorrer das análises, consideram-se as composições como Sambas que dão aulas, material produtivo para se aprender vários conteúdos da língua materna / The present work aims at establishing a critical view of the teaching of the Portuguese language, indicating the important theoretical and practical aspects, in the teaching/learning process, and the proposals of stylistic analyses of Nei Lopes and Arlindo Cruzs songs. Some functional aspects of the language are reiterated in association with communicative situations, aiming at the formation of the linguistic citizen. Expressive resources present in ten songs of each composer are investigated, building, thus, the corpus of the research. For the theoretical analyses, the Stylistics principles proposed by Nilce SantAnna Martins, Manuel Rodrigues lapa, Marcel Cressot, among others, are revisited, describing the concept of style, the representation of affectiveness in the language, the value of the expression, the marks of subjectivity. The trajectory of the samba in Rio de Janeiro city and the roots of the musical genre are indicated. The cultural identity of the carioca people and the importance of the composers studied, concerning the linguistic-cultural representations, are highlighted. Throughout the analyses, the compositions such as Sambas that Teach are considerece productive and pleasant material to approach the mother tongue

Este trabalho tem como preocupação primeira investigar a formação de futuros professores de português no que se refere ao trabalho com a escrita. Seu principal objetivo é analisar, a partir de uma abordagem discursiva ancorada, sobretudo, nos pressupostos teóricos da Análise do Discurso de linha francesa (AD), o processo de reescrita textual, particularmente daquela reescrita que se circunscreve a situações tipicamente escolares, ou seja, informada pela intervenção de natureza didática em que o professor - ou alguém que assume tal posição - propõe a atividade de reelaboração textual. O corpus é formado por textos que correspondem às respostas fornecidas por formandos em Letras a uma das questões discursivas de Lingüística e Língua Portuguesa solicitada, no ano de 2001, pelo Exame Nacional de Cursos (ENC) - o Provão, atual ENADE. Nessa questão, solicitou-se aos formandos que, com o apoio de noções lingüísticas, apresentassem três soluções para o problema dos elos coesivos presente em um texto originalmente produzido por uma menina de 10 anos. Desse contexto é que surgiu uma das formas de resposta dos formandos à solicitação do Exame: a reescrita como forma de correção daquilo que foi identificado pelos escreventes como \'erro\'. Foram utilizados dois procedimentos de análise: a) a consideração das relações dialógicas estabelecidas entre os formandos e o textobase, a qual resultou em um tipo de intervenção eminentemente resolutiva dos supostos \'problemas\' apresentados pela produção da menina; e b) a busca das operações lingüísticas presentes nos processos de reescrita textual. Em razão das condições em que se produziram, mas também em função do apagamento de aspectos discursivos apreensíveis nos efeitos de sentido existentes no texto reescrito pelos formandos (para além, portanto, dos objetivos inicialmente colocados pelo Provão), as reescritas analisadas resultaram em textos menos expressivos se comparados com aquele que lhes serviu como pontos de partida. Tal constatação, evidenciada nas análises, aponta para o fato de que todo processo de reescrita tenderá ao fracasso, se tão-somente vinculado a questões de ordem lingüística, uma vez que, determinantes da expressividade de todo e qualquer texto, são também os aspectos relativos aos efeitos de sentido e às condições em que um dado discurso se produz. / This research\'s first concern is to investigate the formation of future Portuguese teachers, regarding work with writing. Its main objective is to analyze, starting from a discursive approach anchored especially on the theoretical assumptions of the French Discourse Analysis (DA), the processes of textual writing, particularly rewriting involved in typical school situations, i.e., informed by the intervention of a didactic nature in which the teacher - or someone assuming this position - proposes the activity of textual rewriting. The corpus is formed by texts which correspond to the answers given by Language & Literature students to one of the discursive questions of Linguistic and Portuguese Language requested by the National Course Exam (ENC) in 2001, the so-called \"Provão\", currently ENADE. In this question, with the support of linguistic notions, the students were requested to present three solutions for the problem of cohesive links present in a text originally produced by a 10-year old girl. This context generated one of the students\' answers to the Exam\'s request: rewriting as a form to correct what had been identified by the students as a \"mistake\". Two analytical procedures have been used: a) the consideration of the dialogic relations established among the students and the base-text, which resulted in a type of intervention mainly resolutive of the supposed \'problems\' presented by the girl\'s production; and b) the search for the linguistic operations present in the textual rewriting processes. Due to the conditions in which they were produced, but also due to the erasure of discursive aspects noted in the meaning effects existing in the text rewritten by the college students (therefore, beyond the objectives initially presented by the ENADE), the analyzed rewriting resulted in less expressive texts in comparison to that used as their starting point. This realization, shown in the analyses, indicate the fact that all rewriting processes will tend to fail, if only linked to linguistic issues, as the aspects related to the meaning effects and the conditions in which a certain discourse is produced are also determinants of the expressiveness of any text.

Submitted by admin tede (tede@pucgoias.edu.br) on 2018-04-11T17:53:35Z No. of bitstreams: 1 Kênia Cristina Borges Dias.pdf: 1073042 bytes, checksum: fc8b7cc71061eabccb7ca25009c15114 (MD5) / Made available in DSpace on 2018-04-11T17:53:35Z (GMT). No. of bitstreams: 1 Kênia Cristina Borges Dias.pdf: 1073042 bytes, checksum: fc8b7cc71061eabccb7ca25009c15114 (MD5) Previous issue date: 2018-02-07 / The object of this dissertation is the novel Veias e Vinhos (2007), by Miguel Jorge, a writer from Goiás. In this research there are foundational aspects of expressiveness and its compositional mode, based on the theories of the aesthetic effect of Wolfgang Iser and the perceptible and expressive forms of Susanne Langer. Thus, it is sought to verify the enunciative process of the narrative that involves several emitting voices, monologues and streams of consciousness, highlighting the criteria of the elaboration of temporality and spatiality. A proposal for the purpose of studying the renovating procedures of the novel, its ethos, its way of being and its diánoia; as well as the structural and communicative possibilities of the intercalated narrative present in the text. It also discusses what derives both from the expressive variability offered and the expansion and influence that locate the reader, which justifies the study of its structural, expressive and aesthetic elaboration. / O objeto desta dissertação é a obra Veias e Vinhos (2007), de Miguel, escritor goiano. Nesta pesquisa, verifica-se aspectos fundantes da expressividade e seu modo composicional, com base nas teorias do efeito estético, de Wolfgang Iser, e das formas perceptíveis e expressivas, de Susanne Langer. Assim, busca-se verificar o processo enunciativo da narrativa que envolve diversas vozes emissoras, monólogos e fluxos de consciência, ressaltando os critérios de elaboração da temporalidade e da espacialidade. Uma proposta com a finalidade de estudar os procedimentos renovadores do romance, seu ethos, seu modo de ser e sua diánoia; como também as possibilidades estruturais e comunicativas da narrativa intercalada presente no texto. Aborda-se também o que decorre tanto da variabilidade expressiva, oferecida como a expansão e influência que localizam o leitor, o que justifica o estudo de sua elaboração estrutural, expressiva e estética.

Foi escolhida uma obra musical inédita no meu repertório sobre a qual detalho os mecanismos utilizados na preparação para a sua execução em público. Este trabalho divide-se em três etapas: análise a partir de conhecimentos adquiridos ao longo da minha experiência como intérprete, entrevista e execução da obra para o compositor, e análise formal. O foco concentra-se no resultado expressivo obtido na execução, apoiado nas informações contidas na partitura e na estética revelada pelo texto musical. Para empreender a verificação de resultados apresento uma gravação da obra realizada ao final de cada etapa. Dessa forma, por se tratar de um meio de comunicação artística, esta pesquisa está apoiada em dois capítulos do livro The Science and Psychology of Music Performance (2002) de Richard Parncutt e Gary McPherson que abordam este tema: Comunicação Estrutural e Comunicação Emocional na execução musical. Esta dissertação pretende avaliar as semelhanças e diferenças expressivas obtidas ao final de cada etapa mencionada através da comparação qualitativa das gravações. / The purpose of this study is to detail mechanisms utilized in the preparation of an unknown piece for public performance. It is divided into three stages: analysis, in which I use my prior experience and knowledge as a pianist, interview and performance of the work for the composer, and a formal analysis. The main focus is on the expressive results of the performance, supported by the indications the score has to offer, as well on the aesthetics revealed by the musical text. A recording of the piece at the end of each stage of the study was made to verify the results. In this manner, and because this is an artistic means of communication, this study is also supported by two chapters of the book The Science and Psychology of Music Performance (2002) by Richard Parncutt and Gary McPherson. The authors comment on structural and emotional communication in performance. It is the intent of this study to evaluate the similarities and differences of expression at the end of each phase by a qualitative comparison of the recordings.

Ao identificar a existência de uma procura significativa pela prática do teatro, através da qual um número expressivo de pessoas objetiva o reencontro consigo e com a vida ao invés da preparação do ator e montagem de espetáculo, passei a considerar a possibilidade de o Jogo Teatral constituir-se uma alternativa terapêutica que possa responder a esta expectativa. Ao buscar referências que pudessem somar à minha própria experiência como professor e oficineiro de teatro, encontrei em algumas Práticas Corporais Alternativas, especialmente, na Formação Pessoal, material e estímulo para esta investigação. De certa maneira, aspectos como as interações, a espontaneidade, a criatividade e a expressividade, entre outros, são comuns ao Jogo Teatral e à Formação Pessoal. No Brasil, são poucos os teóricos e estudiosos do teatro que se debruçam sobre esta possibilidade terapêutica do teatro, além de Augusto Boal. Entretanto, em razão das características empregadas nesta investigação, usei como suporte teórico não somente o pensamento de Boal, como os de Koudela e Spolin sobre o Jogo Teatral. Outros autores como Santin, Bertherat, Ceccin, Stanislawski, Arendt, Chekhov, Barba, Negrine, Paín e Mariotti serviram-me muito com seus estudos sobre o teatro, a corporeidade, o lúdico, as interações e entrelaçamentos do ser humano com o outro e com o mundo, levando-me a reflexões e inquietações profundas. A partir destes referenciais teóricos e da experiência prévia, esta investigação definiu-se como descritiva, interpretativa e de corte qualitativo. A metodologia da investigação envolveu a criação de dois grupos de trabalho em caráter livre e voluntário, integrados por participantes vinculados por suas sensações de prazer e desprazer durante as vivências. O primeiro grupo reuniu-se durante quatro meses, duas vezes por semana. O segundo grupo reuniu-se durante um mês e meio, uma vez por semana. Em função das características específicas, selecionei 12 integrantes do 1º grupo e 6 integrantes do 2º grupo para objeto da coleta e análise das informações. As características fundamentais dos encontros foram as vivências e as práticas dos jogos e exercícios teatrais realizadas em dinâmicas individuais, em pequenos grupos e no grande grupo. Em razão disso, os instrumentos de coleta de informações utilizados devem refletir, da melhor maneira possível, estas mesmas vivências e práticas por parte dos participantes. Assim, a observação, o memorial descritivo, a verbalização e a entrevista semi-estruturada são os principais instrumentos empregados. Soma-se à criação dos dois grupos, a experiência no Estágio Docente que realizei com três turmas da graduação durante a investigação e que me serviu como fonte complementar de coleta de informações em uma experiência diferenciada. Impulsionado pelas reflexões teóricas dos diversos autores e pelas experiências prévias e similares, através desta investigação, procurei desvendar um caminho que o indivíduo pudesse lançar-se a abrir, em trocas permanentes com o outro, em busca da consciência do “eu”, do outro e de sua inserção no mundo através do Jogo Teatral. / When identifying the existence of a significant search for the practice of the theater, through the one which an expressive number of people aim the find of yourself and with the life instead of the actor's preparation and assembly of show, I started to consider the possibility of the Theatrical Game to constitute a therapeutic alternative that can answer to this expectation. When looking for references that could add to my own experience as theater teacher, found in some practices corporal alternatives, especially, in the Personal Formation, material and incentive for this investigation. In a certain way, aspects as the interactions, the spontaneity, the creativity and the expressiveness, among other, are common to the Theatrical Game and to the Personal Formation. They are few the theoretical and studious of the theater that bend on this therapeutic possibility of the theater, besides Augusto Boal. However, in reason of the characteristics used in this investigation, I used as theoretical support not only the thought of Boal, like the one of Koudela and Spolin about the Theatrical Game. Other authors as Santin, Bertherat, Ceccin, Stanislawski, Arendt, Chekhov, Beard, Negrine, Paín and Mariotti served me a lot with its studies about the theater, the corporality, the ludic, the interactions and the human being interlacement with the other and with the world, taking me to reflections and deep inquietudes. From these theoretical referential and of the previous experience, this investigation was defined as, descriptive, interpretative and of qualitative cut. The methodology of the investigation involved the creation of two work groups in free and voluntary character, integrated by participants linked by its pleasure sensations and displeasure during the existences. The first group met for four months, twice a week. The second group met during one and a half month, once a week. In function of the specific characteristics, I selected 12 components of the 1st group and 6 components of the 2nd group for object of the collection and analysis of the information. The fundamental characteristics of the encounters were the existences and the practices of the games and theatrical exercises accomplished in individual dynamics, in small groups and in the great group. In reason of that, the used instruments of collection of information should contemplate, of the best possible way, these same existences and practices on the part of the participants. Thus, the observation, the descriptive memorial, the verbalization and the semi-structured interview are the main instruments employees. It is added to the creation of the two groups, the experience in the Educational Apprenticeship that accomplished with three groups of the graduation during the investigation and that served me as complementary source of collection of information in a differentiated experience. Impelled by the theoretical reflections of several authors and for the previous and similar experiences, through this investigation, I tried to unmask a way that the individual could rush to open, in permanent changes with the other, in search of the conscience of the " self ", of the other and of its insertion in the world through the Theatrical Game.

Made available in DSpace on 2014-06-11T19:32:09Z (GMT). No. of bitstreams: 0 Previous issue date: 2004-09-03Bitstream added on 2014-06-13T18:43:06Z : No. of bitstreams: 1 pereira_mof_dr_assis.pdf: 658328 bytes, checksum: bfce4cfc4f804daab319b18a22b0805a (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Este trabalho é um estudo estilístico da linguagem literária de Monteiro Lobato (1882-1948), considerado o precursor da literatura infanto-juvenil brasileira. Na busca de traços específicos do estilo lobatiano, examinam-se aspectos do léxico e da variedade lingüística, do caráter neológico, do discurso metalingüístico e ideológico, que configuram a obra. O corpus, constituindo o que se convencionou chamar de Sítio do Picapau Amarelo, é formado dos livros escolhidos pelo próprio escritor como sua produção infanto-juvenil definitiva, em suas Obras completas, um ano antes de sua morte. Num enfoque especial, a metalinguagem participa como elemento de estilo, sob duas perspectivas: enquanto tema de discussão, nos diálogos que permeiam as narrativas, e enquanto matéria-prima de que se constrói a linguagem literária do autor. Para demonstrar esse duplo desempenho, são abordados os fatos reveladores do modo especial como o escritor concebe e utiliza a linguagem. Tais fatos, significativos e pertinentes à criação de uma metalinguagem, ilustram e comprovam a concepção de linguagem por ele adotada, para fins comunicativos e expressivos. Nessa perspectiva, constata-se uma relação estreita entre a teoria e a prática, com respeito ao fenômeno lingüístico. Elementos dos níveis fonético-fonológico, sintático, semântico e pragmático, analisados sob a designação de reflexões metalingüísticas, operações metalingüísticas e relações intertextuais, articulam-se e interagem, para a reconstituição da metalinguagem do escritor. Os resultados do estudo revelam a arte lingüística de Monteiro Lobato e sua vontade de expressar-se sobre a língua materna, por meio de mecanismos e valores expressivos, que atuam de forma às vezes mais, às vezes menos ativa, no contexto literário contemporâneo à criação da obra, funcionando como causa... / This work is a stylistic study of the literary language of Monteiro Lobato (1882-1948), considered the precursor of Brazilian youthful literature. In order to search specific characteristics of Lobatian style, aspects of the lexicon and linguistic variety, neological character, metalinguistic and ideological speech, that configure the workmanship, are examined. The corpus, constituting what it was stipulated to call Sítio do Picapau Amarelo, is formed by books chosen by the own writer as his definitive youthful production, in his Obras completas, one year before his death. In a special approach, the metalanguage participates as an important style element, under two perspectives: while subject of discussion, in the dialogues that permeate the narratives, and while main substance that construct the literary language of the author. To demonstrate this double performance, the revealing facts in the special way are boarded as the writer conceives and uses the language. Such facts, significant and pertinent for creating a metalanguage, illustrate and prove the conception of language adopted by him, for communicative and expressive aims. In this perspective, there is a close relation between theory and practice, with respect to the linguistic phenomenon. Elements of the phonetic-phonologic, syntactic, semantic and pragmatic levels, analyzed like metalinguistic reflections, metalinguistic operations and intertextual relations, are articulated and interacted, for reconstituting the metalanguage of the writer. The results of the study disclose to the linguistic art of Monteiro Lobato and his will to express himself on the mother tongue, by means of expressive mechanisms and values that act, in a sometimes more or less active way, in the contemporary literary context of the creation of the workmanship, working as cause and consequence of consciousness and concrete attitudes, concerning to the linguistic use.

Foi escolhida uma obra musical inédita no meu repertório sobre a qual detalho os mecanismos utilizados na preparação para a sua execução em público. Este trabalho divide-se em três etapas: análise a partir de conhecimentos adquiridos ao longo da minha experiência como intérprete, entrevista e execução da obra para o compositor, e análise formal. O foco concentra-se no resultado expressivo obtido na execução, apoiado nas informações contidas na partitura e na estética revelada pelo texto musical. Para empreender a verificação de resultados apresento uma gravação da obra realizada ao final de cada etapa. Dessa forma, por se tratar de um meio de comunicação artística, esta pesquisa está apoiada em dois capítulos do livro The Science and Psychology of Music Performance (2002) de Richard Parncutt e Gary McPherson que abordam este tema: Comunicação Estrutural e Comunicação Emocional na execução musical. Esta dissertação pretende avaliar as semelhanças e diferenças expressivas obtidas ao final de cada etapa mencionada através da comparação qualitativa das gravações. / The purpose of this study is to detail mechanisms utilized in the preparation of an unknown piece for public performance. It is divided into three stages: analysis, in which I use my prior experience and knowledge as a pianist, interview and performance of the work for the composer, and a formal analysis. The main focus is on the expressive results of the performance, supported by the indications the score has to offer, as well on the aesthetics revealed by the musical text. A recording of the piece at the end of each stage of the study was made to verify the results. In this manner, and because this is an artistic means of communication, this study is also supported by two chapters of the book The Science and Psychology of Music Performance (2002) by Richard Parncutt and Gary McPherson. The authors comment on structural and emotional communication in performance. It is the intent of this study to evaluate the similarities and differences of expression at the end of each phase by a qualitative comparison of the recordings.

Le concept de réversibilité est ancien, mais il soulève de nos jours beaucoup d'intérêt. Il est en effet exploité dans de nombreux domaines tels que la conception de circuits, le débogage et le test de programmes, la simulation et l'informatique quantique. L'idée d'un modèle de programmation réversible peut se montrer particulièrement intéressante pour la construction de systèmes sûrs de fonctionnement, ne serait-ce que parce que plusieurs techniques connues pour la construction de tels systèmes exploitent une forme ou une autre de retour en arrière ou de reprise. Nous poursuivons dans cette thèse l'étude entreprise avec CCS réversible par Vincent Danos et Jean Krivine, en définissant un pi-calcul d'ordre supérieur réversible (rhopi). Nous prouvons que le modèle obtenu est causalement cohérent, et que l'on peut encoder fidèlement rhopi dans une variante du pi-calcul d'ordre supérieur. Nous définissons également une primitive de reprise à grain fin qui permet de contrôler le retour en arrière dans une exécution concurrente. Nous spécifions formellement la sémantique de cette primitive, et nous montrons qu'elle possède de bonnes propriétés, y compris en présence d'opérations de reprise concurrentes. Enfin nous définissons un algorithme concurrent implantant cette primitive de reprise et ous montrons que cet algorithme respecte la sémantique définie. / Reversible computing has a long history. Nowadays, reversible computing is attracting increasing interest because of its potential applications in diverse fields, including hardware design, biological modelling, program debugging and testing and quantum computing. Of particular interest is the application of reversible computation notions to the study of programming abstractions for dependable systems, because several techniques used to build dependable systems rely on some forms of undo or rollback. We continue, in this thesis, the study undertaken on reversible CCS by Vincent Danos and Jean Krivine, by defining a reversible higher-order pi-calculus (rhopi). We prove that reversibility in our calculus is causally consistent and that one can encode faithfully rhopi into a variant of HOpi. Moreover we design a fine-grained rollback primitive able to control the rollback of a concurrent execution. We give a formal specification of this primitive and show that it enjoys good properties, even in presence of concurrent conflicting rollbacks. We then devise a concurrent algorithm implementing such primitive and show that the algorithm respects the defined semantics.

Orientador: Jeane Mari Sant'Ana Spera / Banca: Luiz Carlos Fernandes / Banca: José Batista de Sales / Banca: Mirtes Rocha Rodrigues / Banca: Carlos Eduardo Mendes de Moraes / Resumo: Este trabalho é um estudo estilístico da linguagem literária de Monteiro Lobato (1882-1948), considerado o precursor da literatura infanto-juvenil brasileira. Na busca de traços específicos do estilo lobatiano, examinam-se aspectos do léxico e da variedade lingüística, do caráter neológico, do discurso metalingüístico e ideológico, que configuram a obra. O corpus, constituindo o que se convencionou chamar de Sítio do Picapau Amarelo, é formado dos livros escolhidos pelo próprio escritor como sua produção infanto-juvenil definitiva, em suas Obras completas, um ano antes de sua morte. Num enfoque especial, a metalinguagem participa como elemento de estilo, sob duas perspectivas: enquanto tema de discussão, nos diálogos que permeiam as narrativas, e enquanto matéria-prima de que se constrói a linguagem literária do autor. Para demonstrar esse duplo desempenho, são abordados os fatos reveladores do modo especial como o escritor concebe e utiliza a linguagem. Tais fatos, significativos e pertinentes à criação de uma metalinguagem, ilustram e comprovam a concepção de linguagem por ele adotada, para fins comunicativos e expressivos. Nessa perspectiva, constata-se uma relação estreita entre a teoria e a prática, com respeito ao fenômeno lingüístico. Elementos dos níveis fonético-fonológico, sintático, semântico e pragmático, analisados sob a designação de reflexões metalingüísticas, operações metalingüísticas e relações intertextuais, articulam-se e interagem, para a reconstituição da metalinguagem do escritor. Os resultados do estudo revelam a arte lingüística de Monteiro Lobato e sua vontade de expressar-se sobre a língua materna, por meio de mecanismos e valores expressivos, que atuam de forma às vezes mais, às vezes menos ativa, no contexto literário contemporâneo à criação da obra, funcionando como causa... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: This work is a stylistic study of the literary language of Monteiro Lobato (1882-1948), considered the precursor of Brazilian youthful literature. In order to search specific characteristics of Lobatian style, aspects of the lexicon and linguistic variety, neological character, metalinguistic and ideological speech, that configure the workmanship, are examined. The corpus, constituting what it was stipulated to call Sítio do Picapau Amarelo, is formed by books chosen by the own writer as his definitive youthful production, in his Obras completas, one year before his death. In a special approach, the metalanguage participates as an important style element, under two perspectives: while subject of discussion, in the dialogues that permeate the narratives, and while main substance that construct the literary language of the author. To demonstrate this double performance, the revealing facts in the special way are boarded as the writer conceives and uses the language. Such facts, significant and pertinent for creating a metalanguage, illustrate and prove the conception of language adopted by him, for communicative and expressive aims. In this perspective, there is a close relation between theory and practice, with respect to the linguistic phenomenon. Elements of the phonetic-phonologic, syntactic, semantic and pragmatic levels, analyzed like metalinguistic reflections, metalinguistic operations and intertextual relations, are articulated and interacted, for reconstituting the metalanguage of the writer. The results of the study disclose to the linguistic art of Monteiro Lobato and his will to express himself on the mother tongue, by means of expressive mechanisms and values that act, in a sometimes more or less active way, in the contemporary literary context of the creation of the workmanship, working as cause and consequence of consciousness and concrete attitudes, concerning to the linguistic use. / Doutor