• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 22
  • 2
  • Tagged with
  • 24
  • 24
  • 24
  • 7
  • 6
  • 6
  • 4
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
11

[en] SEMANTICS OF EXPRESSIVES: OVERCOMING METHODOLOGICAL EXPRESSIVISM / [pt] SEMÂNTICA DOS EXPRESSIVOS: SUPERANDO O EXPRESSIVISMO METODOLÓGICO

CAMILO ESTEBAN VERGARA CERDA 09 November 2020 (has links)
[pt] O objetivo da presente tese é duplo. Por um lado, pretende-se questionar o posicionamento metodológico de Potts em suas tentativas de construir modelos para o significado dos expressivos. Por outro, argumento que uma interpretação correta do valor semântico dos expressivos deve considerar o vínculo que, a meu ver, tais termos entretêm com a ontologia social; já que o que as pessoas fazem com a linguagem está vinculado com a estrutura social em que o uso da linguagem se encontra inserido. A seguir, apresento a estrutura da tese. No primeiro capítulo, são analisados os dois modelos semânticos elaborados (respectivamente, em 2005 e 2007) por Potts para dar conta do comportamento específico dos expressivos. No segundo capítulo, procuro esclarecer seu posicionamento sobre o valor semântico dos expressivos; tendo em vista que, para operar com seus modelos, Potts se vale de uma definição funcional (working definition). No terceiro capítulo, questiono a principal tese defendida por Potts, a saber, que os expressivos formam uma classe semântica natural delimitada por um conjunto de propriedades notáveis. Para esses fins, argumento que as propriedades distintivas atribuídas por ele aos expressivos não conseguem circunscrever com nitidez uma categoria semântica. No quarto capítulo, apresento uma proposta alternativa de interpretação do valor semântico dos expressivos, a qual leva em consideração o caráter normativo do conteúdo expressivo. Neste ponto, faço minha a visão de Williamson (2009) sobre o maior poder explanatório deste tipo de interpretação com relação às diversas questões sociais e linguísticas que se colocam para os termos investigados. No quinto e último capítulo, argumento que uma interpretação correta do valor semântico dos expressivos deve acomodar, para além da dimensão normativa do conteúdo expressivo, insights oriundos da área de ontologia social, uma vez que o significado dos termos expressivos se encontra fortemente vinculado à posição social das pessoas que desempenham determinados papéis no discurso. / [en] The aim of this thesis is twofold. On the one hand, I question Potts s methodological stance in his attempts to build models for the meaning of pejoratives. On the other hand, I argue that a correct construal of the semantic value of expressives must take into account their ties with social ontology, given that what people do with language is tied to the social structure in which language use takes place. The thesis is framed as follows. In the first chapter, I analyze two semantic models successively designed by Potts (respectively, in 2005 and 2007) in order to account for the specific behavior of expressives. Next, I set myself the task of clarifying the stance behind the accounts, having in view the functional definition needed to operate with the models. In the third chapter, I question Potts s main thesis according to which expressives form among themselves a natural semantic class marked out by a set of salient properties. To this end, I argue that the alleged distinctive properties of expressives do not circumscribe a clear-cut semantic category. In the fourth chapter, I present an alternative to Pott s construal of the semantic value of expressives that takes into account the normative character of expressive content. At this stage, I embrace Williamson s view about the higher explanatory power of this type of construal with respect to the variety of social and linguistic issues raised by the investigated terms. In the fifth and last chapter, I argue that a correct construal of the semantic value of expressives must accommodate, in addition to the normative dimension of expressive content, a number of insights from social ontology, given that the meaning of expressives is strongly tied to the social position occupied by people in virtue of their role in discourse.
12

[en] A SEMANTIC-ASPECTUAL ANALYSIS ABOUT COPULA (LINKING-VERBS) / [pt] UMA ANÁLISE SEMÂNTICO-ASPECTUAL DOS VERBOS DE LIGAÇÃO

SHEILA MEJLACHOWICZ 06 October 2003 (has links)
[pt] Esta pesquisa propõe uma nova forma de análise dos verbos de ligação em Língua Portuguesa. A Gramática Tradicional considera que este grupo de verbos possui apenas uma função sintática, sem atenção ao seu significado. Na verdade, os verbos de ligação e seus complementos constituem uma expressão por si só significativa. Esta característica nos permite compará-los aos verbos-suporte, já que eles têm o mesmo tipo de comportamento. / [en] This research proposes a new way of analising verbos de ligação (copulae) in Portuguese. Traditional Grammar considers this group of verbs as having a purely syntactic function, paying no attention to their meaning. In fact, these verbs and their complements constitute an expression with meaning of its own. This characteristic enables us to compare verbos de ligação to light verbs, since they have the same kind of behavior.
13

[en] A MODEL FOR WEB BASED NEWS COVERAGE: A STUDY ON DIGITAL NEWS / [pt] UM MODELO PARA COBERTURA DE NOTÍCIAS NA WEB: UM ESTUDO SOBRE NOTÍCIAS DIGITAIS

CAMILA PEREIRA DIAS 24 March 2015 (has links)
[pt] Segundo a definição de Tim Berners-Lee (1989) a Web é um meio hipermídia. Consequentemente, publicar uma notícia em um veículo online é criar um hipertexto, o que implica em não apenas relatar os fatos, como também indicar, através de elos de navegação (links), as relações entre eles, e com outras notícias relevantes. Portanto, é necessário o projeto de uma topologia de navegação que permita ao leitor uma melhor compreensão dos fatos relatados, e que o estimule a continuar sua leitura. A motivação deste trabalho é ajudar o jornalista e, consequentemente, o veículo de publicação de conteúdo, a adequar as suas notícias à mídia Web. Propõe-se uma estrutura de organização de matérias baseada no conceito de cobertura jornalística, que é refletida numa topologia de navegação. A abordagem é validada qualitativamente através de experimentos realizados em um site de noticias real, comparando-se o comportamento dos leitores diante de topologias de navegação que exploram a abordagem de hipertextos e outras que não usam. / [en] According to Tim Berners-Lee (1989) the Web is a hypermidia environment. Consequently, to publish news on a online vehicle is to create a hypertext, which implies not only on relating facts , but also indicating, through navigational links, the relations between them, and with other relevant news. Thus, it is necessary a navigational topology project that allows a better compreension of facts by the reader, and also stimulates him to keep reading. The motivation for this work is to help the journalist and, consequently, the media vehicle, to adequate their news to the Web. We propose a structure to organize news based on the concept of news coverage, that is reflected in a navigational topology. This approach is qualitatively validated through experiments in a real news site, comparing the readers behaviour when they face navigational topologies based or not on hypertexts.
14

[en] AMBIGUITY AND VAGUENESS IN LEGAL TEXTS: AN ANALYSIS OF THE BRAZILIAN FEDERAL CONSTITUTION / [pt] AMBIGÜIDADES E VAGUEZAS EM TEXTOS LEGAIS: UMA ANÁLISE DA CONSTITUIÇÃO FEDERAL BRASILEIRA

RAFAEL PINNA SOUSA 28 October 2008 (has links)
[pt] Em sua Teoria Pura do Direito, Hans Kelsen defende que os textos legais precisam ser isolados de questões ideológicas para serem interpretados em sua essência. Essa corrente teórica formalista-positivista considera contaminada qualquer interpretação atrelada a interesses pessoais ou questões políticas, afinal o Direito deve existir apenas como real, e não como ideal ou justo. Só assim ele pode ser considerado uma ciência. Dessa forma, as inegáveis indeterminações das leis se devem apenas a questões semânticas relativas à multiplicidade de significados das palavras, a defeitos técnicos e a necessidades do mundo jurídico, tanto em relação ao fato condicionante quanto à conseqüência condicionada. Sem negar o valor dessa teoria, a Hermenêutica jurídica hoje trabalha com conceitos bem próximos aos desenvolvidos pelos estudos sociolingüísticos, em que o intérprete não desempenha uma função essencialmente passiva na construção de significados. Assim, esta dissertação rejeita algumas idéias clássicas do Direito sobre interpretação e apresenta novas possibilidades criadas pela perspectiva sociolingüística na interpretação de textos legais. O foco da análise são as indeterminações presentes nas leis, que ganham nova hipótese explicativa a partir da consideração de contextos e participantes desse processo comunicativo. Defende-se que boa parte das ambigüidades e vaguezas presentes em textos legais, freqüentemente disfarçada por uma linguagem de difícil acesso ao homem médio e até a operadores do Direito, na realidade, faz parte de uma estratégia intencional de legisladores para obscurecer sentidos potencialmente polêmicos. O corpus analisado é um recorte do material constitucional brasileiro: artigos da Constituição de 1988 e leis complementares previstos pelos mesmos. / [en] Hans Kelsen´s Pure Theory of Law argues that legal texts must be isolated from ideological questions in order to be interpreted in their true meanings. Accordingly, this theory considers an interpretation to be biased when it is influenced by personal interests or political questions. After all, the law should exist only as real, not as ideal or fair. That is the only way it can be considered a science. This way, the unavoidable uncertainty of laws should only be due to semantics questions related to the multiple meanings of the words, technical errors, and necessities of the juridical world. Without negating the importance of this theory, the juridical Hermeneutic today deals with concepts similar to the ones developed by sociolinguistics studies, in which the interpreter does not have a passive role in constructing meaning. Thus, this dissertation rejects some classical ideas of interpretation of law and presents new possibilities created by the sociolinguistic perspective in the interpretation of legal papers. The focus of this analysis is the uncertainty found in the laws, that gains new perspectives through the consideration of context and participants in this communication process. Some argue that a significant numbers of ambiguity and vagueness found in legal texts, often disguised by a language hard to be understood even to law professionals, in fact, is an intentional strategy to veil potential polemic meanings. The material analyzed is a sample of the Brazilian Constitution texts, including articles from the Constitution of 1988 and supplemental laws foreseen by it.
15

[en] THE CONCEPT OF TRUTH IN SEMANTICALLY CLOSED LANGUAGES / [pt] O CONCEITO DE VERDADE EM LINGUAGENS SEMANTICAMENTE FECHADAS

CARLOS LUCIANO MANHOLI 02 March 2005 (has links)
[pt] A teoria da verdade de Tarski, também conhecida como teoria clássica da verdade, forneceu uma definição para o conceito de verdade que pode ser considerada adequada do ponto de vista material, no sentido de implicar logicamente todas as definições parciais de verdade para sentenças isoladas, do tipo ´s é verdadeira se e somente se p`, sendo p uma sentença qualquer de uma das linguagens às quais a definição tarskiana de verdade se aplica, e sendo s um nome para tal sentença. Essa definição de verdade é consistente - até onde se sabe - mas para garantir a consistência da mesma Tarski precisou restringir seu campo de aplicação ao conjunto das linguagens que não podem ser utilizadas para tratar de sua própria semântica, às quais chamamos linguagens semanticamente abertas. Uma outra teoria da verdade, devida a J. Barwise e J. Etchemendy, foi desenvolvida com vistas a poder ser aplicada de modo consistente às linguagens semanticamente fechadas. Entretanto, para garantir a consistência de sua teoria, Barwise e Etchemendy acabaram por formulá-la de um modo em que a mesma não pudesse ser considerada materialmente adequada, no sentido especificado acima. Isso poderia causar a impressão de que a consistência de uma definição de verdade exigisse que se abrisse mão da adequação material da mesma, tal como fazem Barwise e Etchemendy, ou então que se restringisse seu campo de aplicação às linguagens semanticamente abertas, tal como faz Tarski. Construindo uma definição de verdade materialmente adequada no sentido em questão, e ao mesmo tempo aplicável a linguagens semanticamente fechadas, contudo, S. Kripke mostrou que isso não é o caso. Após uma análise comparativa dessas três teorias da verdade, encontramos razões para formular uma outra definição de verdade, baseada nas intuições russellianas acerca dessa noção, e capaz de ser aplicada consistentemente às linguagens semanticamente fechadas, mantendo a adequação material no sentido acima descrito. No presente trabalho, podem ser encontradas essa análise comparativa das teorias da verdade de Tarski, Barwise-Etchemendy e Kripke, bem como a definição de verdade que formulamos de modo a satisfazer as condições que mencionamos acima. / [en] The tarskian theory of truth, that is also known as the classical theory of truth, has provided a truth definition that may be considered adequate from a material standpoint. By a materially adequate truth definition we understand a truth definition that logically entails every partial truth definition for a specific sentence, of the kind ´s is true if and only if p`, where p is any sentence from some language that is object of the tarskian truth definition, and where s is a name for such sentence. This truth definition is consistent - so far as we know - but in order to guarantee its consistency Tarski had to restrict its field to the set of the languages which cannot be used to speak about their own semantics. These languages are called semantically open languages. Another truth definition, due to J. Barwise and J. Etchemendy, was developed in order to be consistently applied to semantically closed languages. However, in order to assure the consistency of their theory, Barwise and Etchemendy developed it in such a way that it cannot be considered as a materially adequate theory in the sense that has been specified above. We may conclude from this that in order to guarantee the consistency of a truth definition we have either to abandon its material adequacy or to restrict its field to the set of semantically open languages. Kripke showed that this is not the case through developing a truth definition that is both materially adequate and applicable to semantically closed languages. After doing a comparison between these three truth theories, we have found some reasons to formulate another truth definition, which is based on russellian intuitions concerning the notion of truth, and which is able to be consistently applied to semantically closed languages and is also materially adequate in the sense specified above. In this dissertation one can find the comparison between the truth theories of Tarski, Barwise and Etchemendy, and Kripke, which we just mentioned, and also the truth definition that we formulated in order to satisfy the conditions which we described above.
16

[en] NEW NON-X NOMINAL FORMATIONS AND THEIR CONTROVERSIES / [pt] NOVAS FORMAÇÕES A PARTIR DO NÃO - ANTEPOSTO A NOMES E SUAS CONTROVÉRSIAS

LIVIA PENEDO JACOB 20 September 2010 (has links)
[pt] O trabalho investiga os processos lexicais pertinentes à formação de novos itens através do não- anteposto a substantivos e adjetivos, incluindo os aspectos semânticos relevantes. Abordam-se inicialmente a derivação e a composição, na medida em que estes macro-processos de formação se colocam como hipóteses alternativas para a explicação do emprego lexical do elemento negativo não, tradicionalmente classificado apenas como advérbio. Expõe-se a visão trazida pela gramática tradicional, concluindo-se que esta não explica o fenômeno de modo satisfatório. Revisa-se a literatura produzida até o momento sobre o não ocorrendo em função diversa da de advérbio, observando-se grande divergência de abordagens. Apresentadas e analisadas as ocorrências do não- anteposto, opta-se pela derivação como explicação mais conveniente para o tópico investigado, que inclui a questão de estabelecer critérios de discriminação entre as construções que constituem novas palavras e as que devem ser excluídas do rol das novas formações. A análise é baseada em dois corpora representativos – o CORPOBRAS PUC RIO e o CORPUS NILC, que foram comparados em relação ao fenômeno investigado. A pesquisa foi parcialmente feita com base nos mecanismos e metodologias ditadas por pesquisadores da Lingüística de Corpus, tendo sido utilizadas ferramentas computacionais e o conceito de corpus definidos por estes autores. A partir da referida análise, verifica-se que nem todos os itens formados por não- seguido por nome configuram novas formações lexicais, uma vez que muitos dos exemplos estudados revelam aspectos sintáticos predominantes. Quanto à questão semântica, concluiu-se que os significados são relativamente delimitados, existindo algumas exceções. A pesquisa aponta ainda para a presença de possíveis aspectos estilísticos nestas formas. / [en] This work investigates lexical processes underlying the formation of não- X nouns and adjectives in Portuguese, taking into account both morphological and semantic aspects. We approach first the two main word formation possibilities, derivation and compounding, as they correspond to the possible alternative hypotheses for the use of não in word formation, since this lexical item is traditionally considered only as an adverb. Traditional approaches to the topic are described and considered insufficient to explain the phenomena in a satisfactory manner. More recent descriptive proposals on the subject are analyzed and their controversies commented upon. The data favor the analysis of não-X constructions in Portuguese as a case of derivation, specially in what concerns the need to establish criteria to classify não-X constructions as new words. The data were collected from two corpora – the CORPOBRAS PUC-RIO and the CORPUS NILC, which were compared as for the phenomena in question. The work is based, to a great extent, on the mechanisms and methodologies proposed by Corpus Linguistics researchers, with the use of computational tools and the conception of corpora as defined by CL authors. As a result of the analysis, it is proposed that not every não-X occurrence constitutes a new lexical item, since many of the studied examples reveal predominance of syntactic aspects. As for the semantic question, it has been observed that the meanings of the não-X constructions are partially predictable, in spite of some exceptions. The research also indicates the presence of some stylistic possibilities for the use of the não X construction.
17

[en] PRAGMALINGUISTIC READING OF THE BIBLE: THE METHOD, APPLICATION IN HOSEA 10,1-8, SUBJECTIVES AND PERSPECTIVES / [pt] LEITURA PRAGMALINGÜÍSTICA DA BÍBLIA: O MÉTODO, APLICAÇÃO EM OSÉIAS 10,1-8, QUESTÕES E PERSPECTIVAS

LUIS HENRIQUE ALVES PINTO 30 March 2004 (has links)
[pt] O Método Pragmalingüístico é um instrumento de leitura bíblica cujos fundamentos encontram-se na semiótica, ciência articulada e dividida em três estágios: sintática, semântica e pragmática. A singularidade da pragmalingüística está na análise do texto como estratégia comunicativa do autor, que procura conduzir e provocar os sucessivos leitores para uma ação. A aplicação do Método Pragmalingüístico para a leitura de Os 10,1-8 evidencia que o próprio texto contem em si mesmo, explícita ou implicitamente, os elementos para sua compreensão. Permite detectar elementos relevantes para a reflexão metodológica, sobretudo a relação entre análise sincrônica e diacrônica. Se a interpretação dos textos bíblicos não depende exclusivamente dos conhecimentos que se tem das condições históricas da origem dos mesmos, não significa que estas devem ser ignoradas ou descartadas. A singularidade da pragmalingüística não está na oposição sincrônico e diacrônico. Mesmo admitindo o estudo diacrônico como indispensável para interpretação da Bíblia, a inclusão no método histórico crítico de uma análise sincrônica dos textos constitui uma operação legítima, pois é o texto em seu estado final, e não uma redação anterior, que é expressão da Palavra de Deus. O método pragmalingüístico não seria um método alternativo, mas é uma metodologia que possibilita uma visão totalizante, procurando integrar os resultados já adquiridos, potenciando-os a partir de uma concepção do texto como processo comunicativo. / [en] The Pragmalinguistic Method is an instrument of biblical reading of which fundamentals are found in semiotics, articulated science and divided in three stages: syntactic, semantics and pragmatics. The uniqueness of Pragmalinguistics lies in the text analysis as an author's communicative strategy that seeks to lead and incite to action the consecutive reader. The Pragmalinguistic Method application to the reading of Hos 10,1-8 makes evident that the text itself encloses within, explicitly or implicitly, the necessary elements to achieve its understanding. It makes possible to relevant elements for the methodological reflection, above all the relation between sycchronistic and diachronistic analysis. If the interpretation of biblical texts does not depend exclusively on the knowledge acquired through historical conditions of their origin, it does not mean that these very same should be ignored or dismissed. The uniqueness of Pragmalinguistics does not reside in the opposition synchronistic and diachronistic. Even admitting the diachronistic study as being essential for the interpretation of the Bible, the inclusion into the historic critical method of a synchronistic analysis of the texts establishes a genuine operation, since it regards the text final outcome, not a former draft, the expresses the Word of God. The Pragmalinguistic Method wouldn't be an alternative method, but a methodology which enables an absolute view attempting to integrate the results already acquired, involving them from the basis of a text conception as communicative process.
18

[pt] A NATUREZA POLISSÊMICA DO PREFIXO CO(N) NO PORTUGUÊS: UMA ABORDAGEM COGNITIVA / [en] THE POLISEMYC NATURE OF THE PORTUGUESE PREFIX CO(N): A COGNITIVE APPROACH

CARLOS ROBERTO DE SOUZA RODRIGUES 07 June 2016 (has links)
[pt] Este trabalho estuda o prefixo co(N)- na Língua Portuguesa, entendido como um prefixo único que se manifesta sob as formas com, con e co. Na presente pesquisa, tais formas são estudadas a partir das construções lexicais em que podem ser reconhecidas, o que permite vislumbrar a variação de significados do prefixo na língua portuguesa. Os dados primários da análise foram coletados no Dicionário Houaiss da Língua Portuguesa. Para realizar tal estudo, foi aplicado um conjunto de conceitos operacionais e de procedimentos analítico-descritivos apresentados na Gramática Cognitiva de Ronald Langacker. Assume-se, portanto, que a estrutura fonológica co(N) evoca uma dada estrutura semântica – que se configura como tal devido à aplicação de um conjunto de operações de perspectivização sob o substrato conceptual obtido a partir do contexto em que são usadas as construções lexicais com tal prefixo. Por sua vez, as operações de perspectivização possibilitaram notar não só que, em distintas construções lexicais, bem como nos distintos contextos em que elas são usadas, o referido prefixo assume valores semânticos convencionais distintos; como também que esses sentidos, embora distintos, encontram-se relacionados mutuamente. O reconhecimento dessa relação mútua decorre do estabelecimento de um desses significados como prototípico, ou primário, sendo os demais considerados como sentidos derivados, sobretudo pelo fenômeno de atenuação conceptual. Essa abordagem propiciou o delineamento de uma rede polissêmica entre os valores semânticos convencionais apresentados pelo prefixo co(N)-, em convergência com a abordagem teórica da Gramática Cognitiva, baseada no modelo de rede, em que os vários significados assumidos por uma determinada unidade simbólica formam uma teia de relações entre si. / [en] This work is concerned with the Portuguese prefix co(n)-, understood as a single prefix which, however, can occur in the different forms com, con and co . In the research, the forms studied were extracted from the lexical constructions where they can be recognized, which leads to a better vision of the range of meanings of the prefix in Portuguese. The primary data of the analysis were collected from the Dicionário Houaiss da Língua Portuguesa. In the investigation, we applied a set of operational concepts and analytical procedures of description from Langacker s Cognitive Grammar. It is assumed, therefore, that the phonological structure corresponding to co(N) evokes a given semantic structure arrived at by means of a set of construal operations under the conceptual substract presented by the context in which lexical constructions with the prefix were used. In turn, the construal makes clear that this prefix not only can have different conventional semantic values, in different lexical constructions as well as in different contexts of use, but also that the different senses are mutually related. The recognition of this mutual relationship is possible once we take one of these meanings as prototypical, or primary, from which other meanings derive, especially by conceptual attenuation factors. This approach allowed us to outline a semantic network that permeates conventional semantic values of the prefix, thus converging with GC s theoretical approach based on a network model, in the sense that the various meanings assumed by certain symbolic unity form a web of relationships among themselves.
19

[pt] FINALIZADORES E REFERÊNCIAS FRACAS: INTERAGINDO COM O COLETOR DE LIXO / [en] FINALIZERS AND WEAK REFERENCES: INTERFACING WITH THE GARBAGE COLLECTOR

MARCUS AMORIM LEAL 03 January 2006 (has links)
[pt] Inúmeras linguagens de programação oferecem suporte a finalizadores e referências fracas. Não obstante, de maneira geral esses mecanismos são relativamente pouco conhecidos e pouco usados por programadores. Mesmo entre pesquisadores e desenvolvedores de linguagens não existe muito consenso quanto à sua semântica, que varia consideravelmente entre diferentes implementações. Neste trabalho buscamos explorar os conceitos de finalizadores e de referências fracas, suprindo a ausência de uma especificação clara e abrangente, e permitindo uma melhor compreensão, implementação e uso dos mecanismos correspondentes. Como ponto de partida realizamos um amplo levantamento sobre como é feito o suporte a finalizadores e referências fracas em diferentes linguagens de programação, identificando as características comuns, os problemas, e as questões semânticas mais relevantes associadas às implementações consideradas. Para garantir uma maior precisão em nossa análise, utilizamos um modelo abstrato de uma linguagem de programação com gerenciamento automático de memória. Através deste modelo especificamos formalmente a semântica de finalizadores e referências fracas, incluindo descrições das suas principais variantes e mecanismos relacionados. Além disso, provamos certas propriedades inerentes a linguagens de programação com gerenciamento automático de memória, indicando como estas são afetadas pela introdução de finalizadores e referências fracas. Por fim, consideramos possíveis estratégias de implementação desses mecanismos em diferentes tipos de sistemas. Algumas das opções semânticas investigadas impõe um custo de processamento expressivo, o que frequentemente inviabiliza a sua adoção na prática. / [en] Most mainstream programming languages support finalizers and weak references. In spite of that, these abstractions are still modestly known by programmers in general. Even among language designers there seems to be no common view on how to define their semantics, and language implementations certainly reflect that. In this thesis we explore the concepts of finalizer and weak reference by discussing several important issues that, as far as we know, have not been explored by other authors. After presenting a survey on how finalizers and weak references are supported by actual programming languages, we thoroughly examine their semantics and discuss alternative implementation strategies. We also use an operational approach to develop a formal model for reasoning about garbage collection and its interaction with client programs. By explicitly representing low-level details, such as heap memory and its addresses, we were able to clearly specify memory management actions, and prove several important memory-related language invariants. Using this model we describe a formal semantics for finalizers and weak references, exploring some of its many subtleties. We believe that the topics covered here can serve as a relevant reference for further investigations, and also help to guide actual implementations.
20

[pt] ARMAS NUCLEARES, MUDANÇAS CLIMÁTICAS E TECNOLOGIAS DISRUPTIVAS: AS TEMPORALIDADES DAS ENUNCIAÇÕES DAS CATÁSTROFES NAS DECLARAÇÕES DO RELÓGIO DO JUÍZO FINAL (1947-2020) / [en] NUCLEAR WEAPONS, CLIMATE CHANGE AND DISRUPTIVE TECHNOLOGIES: THE TEMPORALITIES OF CATASTROPHES ENUNCIATIONS IN THE DOOMSDAY CLOCK STATEMENTS (1947-2020)

MARLON FERREIRA DOS REIS 04 April 2022 (has links)
[pt] Considerando as ameaças existenciais à humanidade no mundo contemporâneo, sobretudo as armas nucleares e as mudanças climáticas de origens antrópicas, a presente dissertação objetiva analisar as formas pelas quais estas são enunciadas nas declarações do Relógio do Juízo Final [Doomsday Clock] escritas pelo Boletim dos Cientistas Atômicos [Bulletin of the Atomic Scientists], no período entre 1947 e 2020. Para tanto, será analisada a rede conceitual utilizada pelo Boletim e como esta é indicativa de uma experiência do tempo. Acredita-se que, com isso, será possível identificar o protagonismo do conceito de catástrofe em relação a outros termos chaves para se compreender a temporalidade histórica contemporânea. / [en] Considering the existential threats to humanity in the contemporary world, especially nuclear weapons and anthropic climate change, this dissertation aims to analyze the ways in which these are enunciated in the Bulletin of the Atomic Scientists Doomsday Clock, in the period between 1947 and 2020. In order to do so, the conceptual web used by the Bulletin will be analyzed as na experience of time. I believe that it will be possible to identify the protagonism of the concept of catastrophe in comparison with other key terms to understand the contemporary historical temporality.

Page generated in 0.0426 seconds