Semântica denotacional escalável de linguagens imperativas
Autor(a) principal: | |
---|---|
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 |