Um arcabouço para otimizações em máquinas de estado abstratas

AUTOR(ES)

Kristian Magnani dos Santos

DATA DE PUBLICAÇÃO

2006

RESUMO

Máquinas de Estado Abstratas oferecem um mecanismo poderoso e de fácil utilização para a especificação formal da semântica de algoritmos. O arcabouço klar incrementa esta metodologia com a capacidade de otimização, permitindo que especificações ASM sejam traduzidas em programas eficientes, característica importante de programas a serem utilizados comercialmente. Mais ainda, as otimizações neste arcabouço são módulos independentes que podem ser adicionados com o arcabouço em pleno funcionamento, de modo que desenvolvedores independentes possam desenvolver suas otimizações sem se preocupar com detalhes internos do klar. Finalmente, o grande conjunto de construções da linguagem utilizada pelo klar permite o seu uso como alvo por compiladores de linguagens ASM.

ASSUNTO(S)

compiladores (computadores) teses. linguagem de programação (computadores) teses. computação teses.

Documentos Relacionados

• Software process model simulation using abstract state machines
• BASS: um arcabouço de software para integração de sistemas de informação: um arcabouço de software para integração de sistemas de informação
• Arcademis:: um arcabouço para construção de sistemas de objetos distribuídos em Java
• Um arcabouço estocástico para coleta de dados em RSSF utilizando um grupo de robôs móveis cooperativos
• Um arcabouço de software reflexivo para persistencia de objetos em bases de dados heterogeneas