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