A apresentação está carregando. Por favor, espere

A apresentação está carregando. Por favor, espere

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

Apresentações semelhantes


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 Linguagens 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 AST para o Programa Fonte Programa Fonte em Pantanal Especificação Sintática de Pantanal Parser para Pantanal ML Yacc ML Lex

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

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

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

9 Ferramentas e Grupos Ferramentas 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 (http://www.cin.ufpe.br/~rat) 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


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

Apresentações semelhantes


Anúncios Google