dc.contributor | Mariza Andrade da Silva Bigonha | |
dc.contributor | Roberto da Silva Bigonha | |
dc.contributor | Marcelo de Almeida Maia | |
dc.contributor | Vladimir Oliveira Di Iorio | |
dc.creator | Kristian Magnani dos Santos | |
dc.date.accessioned | 2019-08-13T08:59:36Z | |
dc.date.accessioned | 2022-10-03T23:24:25Z | |
dc.date.available | 2019-08-13T08:59:36Z | |
dc.date.available | 2022-10-03T23:24:25Z | |
dc.date.created | 2019-08-13T08:59:36Z | |
dc.date.issued | 2006-03-23 | |
dc.identifier | http://hdl.handle.net/1843/RVMR-6QGRKL | |
dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/3822056 | |
dc.description.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. | |
dc.publisher | Universidade Federal de Minas Gerais | |
dc.publisher | UFMG | |
dc.rights | Acesso Aberto | |
dc.subject | máquinas de estado abstratas | |
dc.subject | arcabouço | |
dc.title | Um arcabouço para otimizações em máquinas de estado abstratas | |
dc.type | Dissertação de Mestrado | |