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

Detalhes bibliográficos
Autor(a) principal: Kristian Magnani dos Santos
Data de Publicação: 2006
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFMG
Texto Completo: http://hdl.handle.net/1843/RVMR-6QGRKL
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.
id UFMG_09e2cab0cbea10d49f60a1aed9c0dadd
oai_identifier_str oai:repositorio.ufmg.br:1843/RVMR-6QGRKL
network_acronym_str UFMG
network_name_str Repositório Institucional da UFMG
repository_id_str
spelling Mariza Andrade da Silva BigonhaRoberto da Silva BigonhaMarcelo de Almeida MaiaVladimir Oliveira Di IorioKristian Magnani dos Santos2019-08-13T08:59:36Z2019-08-13T08:59:36Z2006-03-23http://hdl.handle.net/1843/RVMR-6QGRKLMá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.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.Universidade Federal de Minas GeraisUFMGLinguagem de programação (Computadores)Compiladores (Computadores)Computaçãomáquinas de estado abstratasarcabouçoUm arcabouço para otimizações em máquinas de estado abstratasinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UFMGinstname:Universidade Federal de Minas Gerais (UFMG)instacron:UFMGORIGINALkristianmagnanisantos.pdfapplication/pdf2353176https://repositorio.ufmg.br/bitstream/1843/RVMR-6QGRKL/1/kristianmagnanisantos.pdf9e029c94acb32864a9139008c19c0474MD51TEXTkristianmagnanisantos.pdf.txtkristianmagnanisantos.pdf.txtExtracted texttext/plain459147https://repositorio.ufmg.br/bitstream/1843/RVMR-6QGRKL/2/kristianmagnanisantos.pdf.txtee017d22cc99ae2c506acdf9dc9c5c9cMD521843/RVMR-6QGRKL2019-11-14 22:15:38.174oai:repositorio.ufmg.br:1843/RVMR-6QGRKLRepositório de PublicaçõesPUBhttps://repositorio.ufmg.br/oaiopendoar:2019-11-15T01:15:38Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)false
dc.title.pt_BR.fl_str_mv Um arcabouço para otimizações em máquinas de estado abstratas
title Um arcabouço para otimizações em máquinas de estado abstratas
spellingShingle Um arcabouço para otimizações em máquinas de estado abstratas
Kristian Magnani dos Santos
máquinas de estado abstratas
arcabouço
Linguagem de programação (Computadores)
Compiladores (Computadores)
Computação
title_short Um arcabouço para otimizações em máquinas de estado abstratas
title_full Um arcabouço para otimizações em máquinas de estado abstratas
title_fullStr Um arcabouço para otimizações em máquinas de estado abstratas
title_full_unstemmed Um arcabouço para otimizações em máquinas de estado abstratas
title_sort Um arcabouço para otimizações em máquinas de estado abstratas
author Kristian Magnani dos Santos
author_facet Kristian Magnani dos Santos
author_role author
dc.contributor.advisor1.fl_str_mv Mariza Andrade da Silva Bigonha
dc.contributor.advisor-co1.fl_str_mv Roberto da Silva Bigonha
dc.contributor.referee1.fl_str_mv Marcelo de Almeida Maia
dc.contributor.referee2.fl_str_mv Vladimir Oliveira Di Iorio
dc.contributor.author.fl_str_mv Kristian Magnani dos Santos
contributor_str_mv Mariza Andrade da Silva Bigonha
Roberto da Silva Bigonha
Marcelo de Almeida Maia
Vladimir Oliveira Di Iorio
dc.subject.por.fl_str_mv máquinas de estado abstratas
arcabouço
topic máquinas de estado abstratas
arcabouço
Linguagem de programação (Computadores)
Compiladores (Computadores)
Computação
dc.subject.other.pt_BR.fl_str_mv Linguagem de programação (Computadores)
Compiladores (Computadores)
Computação
description 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.
publishDate 2006
dc.date.issued.fl_str_mv 2006-03-23
dc.date.accessioned.fl_str_mv 2019-08-13T08:59:36Z
dc.date.available.fl_str_mv 2019-08-13T08:59:36Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1843/RVMR-6QGRKL
url http://hdl.handle.net/1843/RVMR-6QGRKL
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de Minas Gerais
dc.publisher.initials.fl_str_mv UFMG
publisher.none.fl_str_mv Universidade Federal de Minas Gerais
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFMG
instname:Universidade Federal de Minas Gerais (UFMG)
instacron:UFMG
instname_str Universidade Federal de Minas Gerais (UFMG)
instacron_str UFMG
institution UFMG
reponame_str Repositório Institucional da UFMG
collection Repositório Institucional da UFMG
bitstream.url.fl_str_mv https://repositorio.ufmg.br/bitstream/1843/RVMR-6QGRKL/1/kristianmagnanisantos.pdf
https://repositorio.ufmg.br/bitstream/1843/RVMR-6QGRKL/2/kristianmagnanisantos.pdf.txt
bitstream.checksum.fl_str_mv 9e029c94acb32864a9139008c19c0474
ee017d22cc99ae2c506acdf9dc9c5c9c
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)
repository.mail.fl_str_mv
_version_ 1797971241704882176

Registros relacionados