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

Detalhes bibliográficos
Ano de defesa: 2006
Autor(a) principal: Kristian Magnani dos Santos
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de Minas Gerais
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Linguagem de programação (Computadores)
Compiladores (Computadores)
Computação
Link de acesso: https://hdl.handle.net/1843/RVMR-6QGRKL
Resumo: 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.
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 2019-08-13T08:59:36Z2025-09-08T23:52:39Z2019-08-13T08:59:36Z2006-03-23https://hdl.handle.net/1843/RVMR-6QGRKLThe 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 Geraismáquinas de estado abstratasarcabouçoLinguagem de programação (Computadores)Compiladores (Computadores)ComputaçãoUm arcabouço para otimizações em máquinas de estado abstratasinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisKristian Magnani dos Santosinfo:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UFMGinstname:Universidade Federal de Minas Gerais (UFMG)instacron:UFMGMariza Andrade da Silva BigonhaRoberto da Silva BigonhaMarcelo de Almeida MaiaVladimir Oliveira Di IorioMá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.UFMGORIGINALkristianmagnanisantos.pdfapplication/pdf2353176https://repositorio.ufmg.br//bitstreams/a6b8b100-4e04-4736-96d1-1f6516c241bb/download9e029c94acb32864a9139008c19c0474MD51trueAnonymousREADTEXTkristianmagnanisantos.pdf.txttext/plain459147https://repositorio.ufmg.br//bitstreams/fef4522e-db32-4a46-b58c-2784afc8b0d4/downloadee017d22cc99ae2c506acdf9dc9c5c9cMD52falseAnonymousREAD1843/RVMR-6QGRKL2025-09-08 20:52:39.494open.accessoai:repositorio.ufmg.br:1843/RVMR-6QGRKLhttps://repositorio.ufmg.br/Repositório InstitucionalPUBhttps://repositorio.ufmg.br/oairepositorio@ufmg.bropendoar:2025-09-08T23:52:39Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)false
dc.title.none.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
Linguagem de programação (Computadores)
Compiladores (Computadores)
Computação
máquinas de estado abstratas
arcabouç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.author.fl_str_mv Kristian Magnani dos Santos
dc.subject.por.fl_str_mv Linguagem de programação (Computadores)
Compiladores (Computadores)
Computação
topic Linguagem de programação (Computadores)
Compiladores (Computadores)
Computação
máquinas de estado abstratas
arcabouço
dc.subject.other.none.fl_str_mv máquinas de estado abstratas
arcabouço
description 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.
publishDate 2006
dc.date.issued.fl_str_mv 2006-03-23
dc.date.accessioned.fl_str_mv 2019-08-13T08:59:36Z
2025-09-08T23:52:39Z
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 https://hdl.handle.net/1843/RVMR-6QGRKL
url https://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
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//bitstreams/a6b8b100-4e04-4736-96d1-1f6516c241bb/download
https://repositorio.ufmg.br//bitstreams/fef4522e-db32-4a46-b58c-2784afc8b0d4/download
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 repositorio@ufmg.br
_version_ 1862106044428189696

Registros relacionados