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.
ACESSO AO ARTIGO
http://hdl.handle.net/1843/RVMR-6QGRKLDocumentos 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