1 / 17

Semântica de Ações

Semântica de Ações. Especificação Completa de Specimen, Actress, Projeto RAT, Considerações Finais. Semântica Completa de Specimen. vejam em http://www.cin.ufpe.br/~slp Projeto RAT Action Semantic Descriptions Directory http://www.cin.ufpe.br/~rat/asd.html. Linguagens e Aplicações.

juro
Download Presentation

Semântica de Ações

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  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 http://www.cin.ufpe.br/~slp • Projeto RAT • Action Semantic Descriptions Directory • http://www.cin.ufpe.br/~rat/asd.html

  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. ML Yacc Precisamos de um parser... Especificação Léxica de Pantanal Especificação Sintática de Pantanal 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. AN code generator source action AN parser AN sortchecker AN transformer C code action AST decorated action AST transformed action AST Um Compilador para a Notação de Ações

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

  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 • http://www.cin.ufpe.br/~rat

  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 • http://www.brics.dk/Projects/AS • Action Semantics Mailing List • action@brics.aau.dk • action-request@brics.aau.dk (inscrição) • Books • Action Semantics, Peter D. Mosses, Cambridge University Press, 1992. “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

More Related