Compilação de semântica denotacional modular
Autor(a) principal: | |
---|---|
Data de Publicação: | 2007 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Repositório Institucional da UFMG |
Texto Completo: | http://hdl.handle.net/1843/RVMR-7AAP79 |
Resumo: | A semântica e a sintaxe de linguagens de programação podem ser descritas de forma precisa por meio de definições formais. Semântica Denotacional é uma abordagem que permite a descrição formal de linguagens de programação. Essa abordagem apresenta, entretanto, problemas de modularidade. De fato, a especificação formal de linguagens de grande porte é inerentemente complexa, surgindo a necessidade de um modelo capaz de decompor uma descrição em módulos de maneira que a complexidade possa ser controlada. Uma nova metodologia, denominada Semântica Multidimensional, permite que definições em semântica denotacional sejam escritas modularmente. A linguagem funcional de domínio específico Notus segue o modelo proposto por esta nova abordagem.Este trabalho apresenta a implementação de um compilador para a linguagem Notus, que permite a escrita incremental de especificações léxica e sintática de linguagens, usando gramáticas livres de contexto, e da especificação semântica, em semântica denotacional. A modularidade é guiada pela sintaxe abstrata da linguagem que se deseja definir. Para cada construção sintática semanticamente relevante, define-se um módulo. Isto facilita a obtenção de reusabilidade e extensibilidade em especificações em semântica denotacional. O compilador de Notus gera interpretadores para linguagens especificadas. Apresentam-se ainda, neste texto, os problemas decorrentes da compilação incremental de definições modulares, e as soluções para esses problemas implementadas no compilador Notus. O compilador desenvolvido foi testado com especificações modulares em semântica denotacional para linguagens de teste, escritas incrementalmente. |
id |
UFMG_5f3ef99438078b3774d9f12f3c80d489 |
---|---|
oai_identifier_str |
oai:repositorio.ufmg.br:1843/RVMR-7AAP79 |
network_acronym_str |
UFMG |
network_name_str |
Repositório Institucional da UFMG |
repository_id_str |
|
spelling |
Roberto da Silva BigonhaMariza Andrade da Silva BigonhaLucilia Camarão de FigueiredoMarcelo de Almeida MaiaTays Cristina do Amaral Pales Soares2019-08-12T19:18:03Z2019-08-12T19:18:03Z2007-04-13http://hdl.handle.net/1843/RVMR-7AAP79A semântica e a sintaxe de linguagens de programação podem ser descritas de forma precisa por meio de definições formais. Semântica Denotacional é uma abordagem que permite a descrição formal de linguagens de programação. Essa abordagem apresenta, entretanto, problemas de modularidade. De fato, a especificação formal de linguagens de grande porte é inerentemente complexa, surgindo a necessidade de um modelo capaz de decompor uma descrição em módulos de maneira que a complexidade possa ser controlada. Uma nova metodologia, denominada Semântica Multidimensional, permite que definições em semântica denotacional sejam escritas modularmente. A linguagem funcional de domínio específico Notus segue o modelo proposto por esta nova abordagem.Este trabalho apresenta a implementação de um compilador para a linguagem Notus, que permite a escrita incremental de especificações léxica e sintática de linguagens, usando gramáticas livres de contexto, e da especificação semântica, em semântica denotacional. A modularidade é guiada pela sintaxe abstrata da linguagem que se deseja definir. Para cada construção sintática semanticamente relevante, define-se um módulo. Isto facilita a obtenção de reusabilidade e extensibilidade em especificações em semântica denotacional. O compilador de Notus gera interpretadores para linguagens especificadas. Apresentam-se ainda, neste texto, os problemas decorrentes da compilação incremental de definições modulares, e as soluções para esses problemas implementadas no compilador Notus. O compilador desenvolvido foi testado com especificações modulares em semântica denotacional para linguagens de teste, escritas incrementalmente.Programming language semantics and syntax can be defined without ambiguities using formal definitions. Denotational Semantics is an approach which allows formal description of language semantics. However, uses of Denotational Semantics face scalability issues. Formal specification of large scale languagesis inherently complex, requiring a model capable of decomposing semantics descriptions in such a way that it is possible to manage its complexity. Multidimensional Semantics proposes a new methodology for development of modular denotational semantic definitions. The functional, domain specific, languageNotus implements the model proposed by this new approach. This work presents a compiler implementation for Notus, which is a language that allows writing syntactic, lexical and semantic definitions incrementally. The modularity is based on the desired language's abstract syntax. A moduleis made for each semantically relevant syntactic construct. This improves the reusability and extensibility in denotational semantics specifications. The Notus compiler produces interpreters for specified languages. Compilation of modular specification poses issues that are also solved in the Notus compiler.Universidade Federal de Minas GeraisUFMGLinguagem de programação (Computadores) SintaxeComputaçãoLinguagem formalLinguagem de programação (Computadores) SemanticaCompiladores (Programas de computador)semântica denotacionalCompilação de semântica denotacional modularinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UFMGinstname:Universidade Federal de Minas Gerais (UFMG)instacron:UFMGORIGINALtayscristinaamaralpalessoares.pdfapplication/pdf2043873https://repositorio.ufmg.br/bitstream/1843/RVMR-7AAP79/1/tayscristinaamaralpalessoares.pdf49db5d6a4c71bede703a3ba3285fe84aMD51TEXTtayscristinaamaralpalessoares.pdf.txttayscristinaamaralpalessoares.pdf.txtExtracted texttext/plain522648https://repositorio.ufmg.br/bitstream/1843/RVMR-7AAP79/2/tayscristinaamaralpalessoares.pdf.txt732320877ecb33bd7de4661e13889418MD521843/RVMR-7AAP792019-11-14 19:37:39.586oai:repositorio.ufmg.br:1843/RVMR-7AAP79Repositório de PublicaçõesPUBhttps://repositorio.ufmg.br/oaiopendoar:2019-11-14T22:37:39Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)false |
dc.title.pt_BR.fl_str_mv |
Compilação de semântica denotacional modular |
title |
Compilação de semântica denotacional modular |
spellingShingle |
Compilação de semântica denotacional modular Tays Cristina do Amaral Pales Soares semântica denotacional Linguagem de programação (Computadores) Sintaxe Computação Linguagem formal Linguagem de programação (Computadores) Semantica Compiladores (Programas de computador) |
title_short |
Compilação de semântica denotacional modular |
title_full |
Compilação de semântica denotacional modular |
title_fullStr |
Compilação de semântica denotacional modular |
title_full_unstemmed |
Compilação de semântica denotacional modular |
title_sort |
Compilação de semântica denotacional modular |
author |
Tays Cristina do Amaral Pales Soares |
author_facet |
Tays Cristina do Amaral Pales Soares |
author_role |
author |
dc.contributor.advisor1.fl_str_mv |
Roberto da Silva Bigonha |
dc.contributor.advisor-co1.fl_str_mv |
Mariza Andrade da Silva Bigonha |
dc.contributor.referee1.fl_str_mv |
Lucilia Camarão de Figueiredo |
dc.contributor.referee2.fl_str_mv |
Marcelo de Almeida Maia |
dc.contributor.author.fl_str_mv |
Tays Cristina do Amaral Pales Soares |
contributor_str_mv |
Roberto da Silva Bigonha Mariza Andrade da Silva Bigonha Lucilia Camarão de Figueiredo Marcelo de Almeida Maia |
dc.subject.por.fl_str_mv |
semântica denotacional |
topic |
semântica denotacional Linguagem de programação (Computadores) Sintaxe Computação Linguagem formal Linguagem de programação (Computadores) Semantica Compiladores (Programas de computador) |
dc.subject.other.pt_BR.fl_str_mv |
Linguagem de programação (Computadores) Sintaxe Computação Linguagem formal Linguagem de programação (Computadores) Semantica Compiladores (Programas de computador) |
description |
A semântica e a sintaxe de linguagens de programação podem ser descritas de forma precisa por meio de definições formais. Semântica Denotacional é uma abordagem que permite a descrição formal de linguagens de programação. Essa abordagem apresenta, entretanto, problemas de modularidade. De fato, a especificação formal de linguagens de grande porte é inerentemente complexa, surgindo a necessidade de um modelo capaz de decompor uma descrição em módulos de maneira que a complexidade possa ser controlada. Uma nova metodologia, denominada Semântica Multidimensional, permite que definições em semântica denotacional sejam escritas modularmente. A linguagem funcional de domínio específico Notus segue o modelo proposto por esta nova abordagem.Este trabalho apresenta a implementação de um compilador para a linguagem Notus, que permite a escrita incremental de especificações léxica e sintática de linguagens, usando gramáticas livres de contexto, e da especificação semântica, em semântica denotacional. A modularidade é guiada pela sintaxe abstrata da linguagem que se deseja definir. Para cada construção sintática semanticamente relevante, define-se um módulo. Isto facilita a obtenção de reusabilidade e extensibilidade em especificações em semântica denotacional. O compilador de Notus gera interpretadores para linguagens especificadas. Apresentam-se ainda, neste texto, os problemas decorrentes da compilação incremental de definições modulares, e as soluções para esses problemas implementadas no compilador Notus. O compilador desenvolvido foi testado com especificações modulares em semântica denotacional para linguagens de teste, escritas incrementalmente. |
publishDate |
2007 |
dc.date.issued.fl_str_mv |
2007-04-13 |
dc.date.accessioned.fl_str_mv |
2019-08-12T19:18:03Z |
dc.date.available.fl_str_mv |
2019-08-12T19:18:03Z |
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/RVMR-7AAP79 |
url |
http://hdl.handle.net/1843/RVMR-7AAP79 |
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/RVMR-7AAP79/1/tayscristinaamaralpalessoares.pdf https://repositorio.ufmg.br/bitstream/1843/RVMR-7AAP79/2/tayscristinaamaralpalessoares.pdf.txt |
bitstream.checksum.fl_str_mv |
49db5d6a4c71bede703a3ba3285fe84a 732320877ecb33bd7de4661e13889418 |
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_ |
1803589178637680640 |