11 |
[en] SEMANTICS OF EXPRESSIVES: OVERCOMING METHODOLOGICAL EXPRESSIVISM / [pt] SEMÂNTICA DOS EXPRESSIVOS: SUPERANDO O EXPRESSIVISMO METODOLÓGICOCAMILO 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ÇÃOSHEILA 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 DIGITAISCAMILA 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 BRASILEIRARAFAEL 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 FECHADASCARLOS 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ÉRSIASLIVIA 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 PERSPECTIVASLUIS 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 APPROACHCARLOS 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 COLLECTORMARCUS 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