Semântica denotacional escalável de linguagens imperativas

Detalhes bibliográficos
Autor(a) principal: Guilherme Henrique de Sousa Santos
Data de Publicação: 2013
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFMG
Texto Completo: http://hdl.handle.net/1843/ESBF-97GNH2
Resumo: Este trabalho de dissertação aborda uma nova solução para o problema de escalabilidade da Semântica Denotacional, intitulada Semântica Denotacional Baseada em Componentes. Essa técnica utiliza uma biblioteca de componentes de semântica denotacionalque encapsulam conceitos fundamentais e recorrentes de linguagens de programação imperativas. Uma das principais funções da biblioteca é remover das equações semânticas a dependência aparente de contexto das construções. Dessa forma, as definições semânticassão definidas pelo mapeamento direto entre as construções da sintaxe abstrata de uma linguagem e as combinações de componentes que modelam sua semântica. O fluxo de informações de contexto é encapsulado pelos componentes. Como principais contribuições do trabalho, podem-se citar: definição de uma nova metodologia baseada em componentes para obtenção de escalabilidade e reúso em definições de semântica denotacional; a implementação de um ambiente de desenvolvimento para a metodologia, o qual permite a escrita de protótipos de interpretadores para linguagens definidas; identificação e organização dos conceitos fundamentais e recorrentesdas linguagens de programação imperativas em uma biblioteca de componentes de definição semântica; abstração do contexto em equações semânticas denotacionais.
id UFMG_b146021b80f8d8c10bbd2fe81ab4498e
oai_identifier_str oai:repositorio.ufmg.br:1843/ESBF-97GNH2
network_acronym_str UFMG
network_name_str Repositório Institucional da UFMG
repository_id_str
spelling Roberto da Silva BigonhaFábio TireloFernando Magno Quintao PereiraAndre Luís de Medeiros SantosGuilherme Henrique de Sousa Santos2019-08-10T19:24:39Z2019-08-10T19:24:39Z2013-03-14http://hdl.handle.net/1843/ESBF-97GNH2Este trabalho de dissertação aborda uma nova solução para o problema de escalabilidade da Semântica Denotacional, intitulada Semântica Denotacional Baseada em Componentes. Essa técnica utiliza uma biblioteca de componentes de semântica denotacionalque encapsulam conceitos fundamentais e recorrentes de linguagens de programação imperativas. Uma das principais funções da biblioteca é remover das equações semânticas a dependência aparente de contexto das construções. Dessa forma, as definições semânticassão definidas pelo mapeamento direto entre as construções da sintaxe abstrata de uma linguagem e as combinações de componentes que modelam sua semântica. O fluxo de informações de contexto é encapsulado pelos componentes. Como principais contribuições do trabalho, podem-se citar: definição de uma nova metodologia baseada em componentes para obtenção de escalabilidade e reúso em definições de semântica denotacional; a implementação de um ambiente de desenvolvimento para a metodologia, o qual permite a escrita de protótipos de interpretadores para linguagens definidas; identificação e organização dos conceitos fundamentais e recorrentesdas linguagens de programação imperativas em uma biblioteca de componentes de definição semântica; abstração do contexto em equações semânticas denotacionais.This dissertation presents a new methodology for the scalability problem in Denotational Semantics, named Component Based Denotational Semantics. This work uses a library of denotational semantics components, which encapsulate fundamental and recurring concepts of imperative programming languages. One of the main objectives of the library is to remove the apparent dependency on the context of constructs in the composition of their denotations. Thus, semantic definitions map the constructs of the abstract syntax of a language directly to the combination of components which model its semantics. The components encapsulate the flow of context information.The main contributions of this work are: the definition of a new methodology based on components for the writing of scalable definitions of denotational semantics that promote reuse; the implementation of a development environment for applying the methodology, which generates interpreter prototypes for a language; organization of the fundamental and recurring concepts of imperative programming languages in a library of semantic definition components; abstraction of context in denotational semantics equations.Universidade Federal de Minas GeraisUFMGSemânticaLinguagens de programação (Computadores)ComputaçãoCiência da ComputaçãoSemântica denotacional escalável de linguagens imperativasinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UFMGinstname:Universidade Federal de Minas Gerais (UFMG)instacron:UFMGORIGINALguilhermehenriquedesousasantos.pdfapplication/pdf1063039https://repositorio.ufmg.br/bitstream/1843/ESBF-97GNH2/1/guilhermehenriquedesousasantos.pdf4fcd63603f0475124b36c5f4af71a368MD51TEXTguilhermehenriquedesousasantos.pdf.txtguilhermehenriquedesousasantos.pdf.txtExtracted texttext/plain345924https://repositorio.ufmg.br/bitstream/1843/ESBF-97GNH2/2/guilhermehenriquedesousasantos.pdf.txt018952a8b1a268a30569c77c7cfe7d56MD521843/ESBF-97GNH22019-11-14 09:39:02.209oai:repositorio.ufmg.br:1843/ESBF-97GNH2Repositório de PublicaçõesPUBhttps://repositorio.ufmg.br/oaiopendoar:2019-11-14T12:39:02Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)false
dc.title.pt_BR.fl_str_mv Semântica denotacional escalável de linguagens imperativas
title Semântica denotacional escalável de linguagens imperativas
spellingShingle Semântica denotacional escalável de linguagens imperativas
Guilherme Henrique de Sousa Santos
Ciência da Computação
Semântica
Linguagens de programação (Computadores)
Computação
title_short Semântica denotacional escalável de linguagens imperativas
title_full Semântica denotacional escalável de linguagens imperativas
title_fullStr Semântica denotacional escalável de linguagens imperativas
title_full_unstemmed Semântica denotacional escalável de linguagens imperativas
title_sort Semântica denotacional escalável de linguagens imperativas
author Guilherme Henrique de Sousa Santos
author_facet Guilherme Henrique de Sousa Santos
author_role author
dc.contributor.advisor1.fl_str_mv Roberto da Silva Bigonha
dc.contributor.advisor-co1.fl_str_mv Fábio Tirelo
dc.contributor.referee1.fl_str_mv Fernando Magno Quintao Pereira
dc.contributor.referee2.fl_str_mv Andre Luís de Medeiros Santos
dc.contributor.author.fl_str_mv Guilherme Henrique de Sousa Santos
contributor_str_mv Roberto da Silva Bigonha
Fábio Tirelo
Fernando Magno Quintao Pereira
Andre Luís de Medeiros Santos
dc.subject.por.fl_str_mv Ciência da Computação
topic Ciência da Computação
Semântica
Linguagens de programação (Computadores)
Computação
dc.subject.other.pt_BR.fl_str_mv Semântica
Linguagens de programação (Computadores)
Computação
description Este trabalho de dissertação aborda uma nova solução para o problema de escalabilidade da Semântica Denotacional, intitulada Semântica Denotacional Baseada em Componentes. Essa técnica utiliza uma biblioteca de componentes de semântica denotacionalque encapsulam conceitos fundamentais e recorrentes de linguagens de programação imperativas. Uma das principais funções da biblioteca é remover das equações semânticas a dependência aparente de contexto das construções. Dessa forma, as definições semânticassão definidas pelo mapeamento direto entre as construções da sintaxe abstrata de uma linguagem e as combinações de componentes que modelam sua semântica. O fluxo de informações de contexto é encapsulado pelos componentes. Como principais contribuições do trabalho, podem-se citar: definição de uma nova metodologia baseada em componentes para obtenção de escalabilidade e reúso em definições de semântica denotacional; a implementação de um ambiente de desenvolvimento para a metodologia, o qual permite a escrita de protótipos de interpretadores para linguagens definidas; identificação e organização dos conceitos fundamentais e recorrentesdas linguagens de programação imperativas em uma biblioteca de componentes de definição semântica; abstração do contexto em equações semânticas denotacionais.
publishDate 2013
dc.date.issued.fl_str_mv 2013-03-14
dc.date.accessioned.fl_str_mv 2019-08-10T19:24:39Z
dc.date.available.fl_str_mv 2019-08-10T19:24:39Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1843/ESBF-97GNH2
url http://hdl.handle.net/1843/ESBF-97GNH2
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de Minas Gerais
dc.publisher.initials.fl_str_mv UFMG
publisher.none.fl_str_mv Universidade Federal de Minas Gerais
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFMG
instname:Universidade Federal de Minas Gerais (UFMG)
instacron:UFMG
instname_str Universidade Federal de Minas Gerais (UFMG)
instacron_str UFMG
institution UFMG
reponame_str Repositório Institucional da UFMG
collection Repositório Institucional da UFMG
bitstream.url.fl_str_mv https://repositorio.ufmg.br/bitstream/1843/ESBF-97GNH2/1/guilhermehenriquedesousasantos.pdf
https://repositorio.ufmg.br/bitstream/1843/ESBF-97GNH2/2/guilhermehenriquedesousasantos.pdf.txt
bitstream.checksum.fl_str_mv 4fcd63603f0475124b36c5f4af71a368
018952a8b1a268a30569c77c7cfe7d56
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)
repository.mail.fl_str_mv
_version_ 1803589366980804608

Registros relacionados