Uma biblioteca de componentes semÃnticos para especificaÃÃo de linguagens de programaÃÃo

AUTOR(ES)

Victor Travassos Sarinho

DATA DE PUBLICAÇÃO

2003

RESUMO

SemÃntica de aÃÃes, um formalismo para especificaÃÃo de linguagens de programaÃÃo, define um conjunto padrÃo de operadores que descrevem conceitos comuns encontrados em linguagens de programaÃÃo. Estes operadores facilitam a especificaÃÃo de linguagens de programaÃÃo porque eles liberam o projetista de linguagens da manipulaÃÃo de definiÃÃes complexas usadas para descrevÃ-las. Entretanto, as especificaÃÃes em semÃntica de aÃÃes nÃo foram projetadas para serem reusadas ou estendidas. De fato, copiar/colar especificaÃÃes à o Ãnico caminho para reutilizar semÃnticas de linguagens de programaÃÃo, ou seja, à extremamente ineficiente e perigosa, no sentido de nÃo produzir uma especificaÃÃo totalmente confiÃvel, seja por funÃÃes semÃnticas extremamente restritas à linguagem, seja por diferenÃas sintÃticas mÃnimas que impedem uma integraÃÃo adequada. TambÃm devemos considerar o fato de que a maioria das linguagens existentes apresentam uma grande semelhanÃa conceitual do ponto de vista semÃntico, uma vez que o desenvolvimento de novas linguagens de programaÃÃo geralmente à influenciado por linguagens previamente existente. Portanto, o objetivo deste trabalho Ã, atravÃs do uso da semÃntica de aÃÃes baseada em componentes, uma tÃcnica que permite melhorar a reutilizaÃÃo de especificaÃÃes em semÃntica de aÃÃes, definir componentes semÃnticos para estruturas sintÃticas abstratas, capazes de representar conceitos de linguagens de programaÃÃo separados pelos diversos paradigmas de linguagens de programaÃÃo existentes, e organizados de forma hierÃrquica garantindo assim um alto grau de reutilizaÃÃo semÃntica. Como resultados, produzimos uma biblioteca de componentes semÃnticos, formada pelo agrupamento de componentes semÃnticos capazes de representar conceitos de linguagens de expressÃes, imperativas, funcionais e orientada a objetos; e projetamos uma linguagem multiparadigma denominada EIFOO, formada pelo agrupamento dos componentes semÃnticos especificados em cada um dos paradigmas abordados neste trabalho

ASSUNTO(S)

componentes semÃnticos semÃntica de aÃÃes ciencia da computacao reusabilidade semÃntica paradigmas de linguagens de programaÃÃo

Documentos Relacionados

• Uma anÃlise de auto-referÃncia baseada em fluxos semÃnticos
• GeraÃÃo de especificaÃÃo formal de sistemas a partir de documento de requisitos
• SKDQL: uma linguagem declarativa de especificaÃÃo de consultas e processos para descoberta de conhecimento em bancos de dados e sua implementaÃÃo
• Um teste de especificaÃÃo correta em modelos de regressÃo beta
• A programaÃÃo linear como ferramanta para otimizaÃÃo de orÃamentos pÃblicos