Post on 06-Jan-2016
description
Semântica de AçõesSemântica de Ações
Especificação Completa de Specimen, Actress, Projeto RAT, Considerações Finais
Semântica Completa de SpecimenSemântica Completa de Specimen
vejam em http://www.cin.ufpe.br/~slp Projeto RAT
Action Semantic Descriptions Directoryhttp://www.cin.ufpe.br/~rat/asd.html
Linguagens e AplicaçõesLinguagens 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)
Um Compilador para a Notação de Um Compilador para a Notação de AçõesAçõ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
Precisamos de um parser...Precisamos de um parser...
EspecificaçãoLéxica dePantanal
AST para oPrograma Fonte
ProgramaFonte em Pantanal
EspecificaçãoSintática de
Pantanal
Parserpara
Pantanal
ML YaccML Lex
Usando o gerador de acionadores...Usando o gerador de acionadores...
Acionadorde
Pantanal
Geradorde
Acionadores
Semânticade Ações de
Pantanal
Ação-programade P
ASTde P
Um Compilador para a Notação de Um Compilador para a Notação de AçõesAções
ANcode
generator
ANparser
ANsortchecker
ANtransformer
sourceaction
actionAST
decoratedaction AST
Ccode
transformedaction AST
Um Compilador para PantanalUm Compilador para Pantanal
ActioneerGenerator
Parserpara
Pantanal
Actioneerfor
PantanalANC
Semântica de Ações de Pantanal
programafonte
AST program-actionAST
códigoC
Ferramentas e GruposFerramentas 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
O Projeto RATO 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
O Sistema RATO 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
Linhas de PesquisaLinhas 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
Linhas de Pesquisa (cont.)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)
Prospectiva (Mosses’96)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)
Informações AdicionaisInformaçõ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.
Considerações FinaisConsideraçõ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
Semântica de AçõesSemântica de Ações
Especificação Completa de Specimen, Actress, Projeto RAT, Considerações Finais