Publicação
JavaCO – uma variante do Java com um sistema de tipos baseado em covariância
| dc.contributor.advisor | Dias, Artur Miguel Andrade Vieira | |
| dc.contributor.author | Martins, Duarte João Figueira | |
| dc.date.accessioned | 2010-12-14T18:40:45Z | |
| dc.date.available | 2010-12-14T18:40:45Z | |
| dc.date.issued | 2010 | |
| dc.description | Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática | en_US |
| dc.description.abstract | Quando se compara a linguagem Eiffel com a linguagem Java, a diferença com mais impacto no estilo de programação é o facto de a primeira permitir métodos com argumentos covariantes, isto é, permitir a especialização do tipo dos argumentos à medida que se desce na hierarquia. Esta possibilidade é uma vantagem porque permite modelar determinados aspectos do mundo real de forma mais directa e intuitiva. Mas também há uma desvantagem que justifica a raridade desta opção na generalidade das linguagens modernas: o facto de criar complicações ao nível da tipificação estática dos programas. O objectivo deste trabalho é criar uma variante do Java, chamada JavaCO, cujo sistema de tipos será baseado em covariância, à imagem do sistema de tipos da linguagem Eiffel. A introdução de um novo tipo genérico “This”, servirá para aumentar a utilidade prática do mecanismo de covariância. Espera-se assim proporcionar uma experiência de programação similar à da linguagem Eiffel, mas num ambiente de programação Java, usando as ferramentas e bibliotecas do Java. A nova linguagem será implementada através da tradução para Java puro. A implementação seguirá as linhas da definição semântica e consistirá num tradutor escrito usando a ferramenta SableCC. O tradutor fará alguma análise estática dos programas de entrada; contudo, os aspectos mais essenciais da nova linguagem serão implementados por recurso a tipificação dinâmica (na mesma linha do Eiffel “clássico”). | en_US |
| dc.identifier.uri | http://hdl.handle.net/10362/4590 | |
| dc.language.iso | por | en_US |
| dc.publisher | Faculdade de Ciências e Tecnologia | en_US |
| dc.subject | Linguagens de programação | en_US |
| dc.subject | Sistema de tipos | en_US |
| dc.subject | Covariância | en_US |
| dc.subject | Compilação | en_US |
| dc.title | JavaCO – uma variante do Java com um sistema de tipos baseado em covariância | en_US |
| dc.type | master thesis | |
| dspace.entity.type | Publication | |
| my.embargo.terms | null | en_US |
| rcaap.rights | openAccess | en_US |
| rcaap.type | masterThesis | en_US |