Please use this identifier to cite or link to this item:
http://hdl.handle.net/1843/RVMR-7AAP79| Type: | Dissertação de Mestrado |
| Title: | Compilação de semântica denotacional modular |
| Authors: | Tays Cristina do Amaral Pales Soares |
| First Advisor: | Roberto da Silva Bigonha |
| First Co-advisor: | Mariza Andrade da Silva Bigonha |
| First Referee: | Lucilia Camarão de Figueiredo |
| Second Referee: | Marcelo de Almeida Maia |
| Abstract: | 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. |
| Abstract: | 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. |
| Subject: | Linguagem de programação (Computadores) Sintaxe Computação Linguagem formal Linguagem de programação (Computadores) Semantica Compiladores (Programas de computador) |
| language: | Português |
| Publisher: | Universidade Federal de Minas Gerais |
| Publisher Initials: | UFMG |
| Rights: | Acesso Aberto |
| URI: | http://hdl.handle.net/1843/RVMR-7AAP79 |
| Issue Date: | 13-Apr-2007 |
| Appears in Collections: | Dissertações de Mestrado |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| tayscristinaamaralpalessoares.pdf | 2 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.