Um arcabouço para otimizações em máquinas de estado abstratas
=== 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 spec...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | Portuguese |
| Published: |
Universidade Federal de Minas Gerais
2006
|
| Online Access: | http://hdl.handle.net/1843/RVMR-6QGRKL |