Semântica de Ações Especificação Completa de Specimen, Actress, Projeto RAT, Considerações Finais.

Apresentação em tema: "Semântica de Ações Especificação Completa de Specimen, Actress, Projeto RAT, Considerações Finais."— Transcrição da apresentação:

1 Semântica de Ações Especificação Completa de Specimen, Actress, Projeto RAT, Considerações Finais

2 Semântica Completa de Specimen
vejam em Projeto RAT Action Semantic Descriptions Directory

3 Linguagens e Aplicações
ML, Amber, Joyce, Modula-3, occam Pascal ANDF-FS Geração de Compiladores Actress (Brown, Moura, Watt) Cantor (Palsberg) Doh’s Thesis Oasis (Orbaek) Abaco (Meneses, Moura)

4 Um Compilador para a Notação de Ações
Actress é um sistema de geração de compiladores orientado a semântica o objetivo é gerar compiladores comparáveis com compiladores manuais (tão eficientes quanto) os compiladores gerados geram código que roda 10 vezes mais lento do que código gerado por código de compiladores manuais usado com pequenas linguagens (imperativa e funcional) ANC é o principal componente de Actress implementado em Standard ML

5 Precisamos de um parser...
Especificação Léxica de Pantanal Especificação Sintática de Pantanal ML Yacc ML Lex Parser para Pantanal Programa Fonte em Pantanal AST para o Programa Fonte

6 Usando o gerador de acionadores...
AST de P Semântica de Ações de Pantanal Gerador de Acionadores Acionador de Pantanal Ação-programa de P

7 Um Compilador para a Notação de Ações
code generator parser sortchecker transformer source action AST decorated action AST C transformed

8 Um Compilador para Pantanal
Semântica de Ações de Pantanal Actioneer Generator Actioneer for Pantanal Parser para Pantanal programa fonte ANC código C AST program-action AST

9 Ferramentas e Grupos Ferramentas Grupos
Action Semantics Description Tools (ASD) Estilos LaTeX Guile Action Notation Interpreter (Ani) Grupos Aahrus, Peter Mosses Glasgow, David Watt Kansas State, Dave Schmidt

10 O Projeto RAT Prover um ambiente baseado em semântica de ações para projeto e implementação de linguagens de programação

11 O Sistema RAT Útil para projetistas, implementadores, programadores e educadores WebAni: Ani via Internet ( RAT GUI RAT parser RAT semantic analyser The ABACO System: Algebraic Based Action Compiler

12 Linhas de Pesquisa Geração de compiladores a partir de descrições em semântica de ações Descrições semânticas de linguagens reais: Haskell, Java, Eiffel, etc. Descrições semânticas estáticas usando semântica de ações Tradução de ações Transformações de ações

13 Linhas de Pesquisa (cont.)
Inferindo propriedades de linguagens a partir de descrições em semântica de ações Implementação do RAT (para Windows ou para Internet) Usando ações na modelagem de processos de negócio Especificando diagramas de ação (Engenharia da Informação)

14 Prospectiva (Mosses’96)
Muito para ser feito no que se refere a uma teoria para semântica de ações Inclusão de melhorias na notação de ações Linguagem de especificação algébrica Ferramenta integrada: edição, navegação, teste, etc. Ensino na graduação (subconjunto da notação de ações)

15 Informações Adicionais
Action Semantics Home Page Action Semantics Mailing List (inscrição) Books Action Semantics, Peter D. Mosses, Cambridge University Press, “The Book”. Programming Languages Syntax and Semantics, David A. Watt, Prentice-Hall, 1991.

16 Considerações Finais Ani: um Interpretador para Ações
Semântica de Ações e Geração de Compiladores Transformações de ações Ações comunicativas

17 Semântica de Ações Especificação Completa de Specimen, Actress, Projeto RAT, Considerações Finais