Um arcabouço para otimizações em máquinas de estado abstratas
Carregando...
Arquivos
Data
Autor(es)
Título da Revista
ISSN da Revista
Título de Volume
Editor
Universidade Federal de Minas Gerais
Descrição
Tipo
Dissertação de mestrado
Título alternativo
Primeiro orientador
Membros da banca
Marcelo de Almeida Maia
Vladimir Oliveira Di Iorio
Vladimir Oliveira Di Iorio
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 podemser adicionados com o arcabouço em pleno funcionamento, de modo que desenvolvedores independentes possam desenvolver suas otimizações sem se preocupar com detalhes internos doklar. Finalmente, o grande conjunto de construções da linguagem utilizada pelo klar permite o seu uso como alvo por compiladores de linguagens ASM.
Abstract
The Abstract State Machines methodology oers a powerful, easy-to-use mechanism to formally specify the semantics of algorithms. The k`ar framework adds to it optimization capability, allowing the transformation of ASM specications into ecient programs, which isimportant in order to use the specications as realistic programs. Moreover, the optimizations are modules to be plugged-in on the y, so that independent developers can build their own optimizations without concerning about the internal details of the k`ar framework. Finally,the wide set of constructions of the language understood by the framework allows its use as a target for compilers aiming the ASM methodology.
Assunto
Linguagem de programação (Computadores), Compiladores (Computadores), Computação
Palavras-chave
máquinas de estado abstratas, arcabouço