Otimização de Código em Ambiente de Semântica Formal Executável baseado em ASM
O objetivo deste trabalho de pesquisa se origina na necessidade de ferramentas eficientes de suporte à execução e análise de sisteas complexos de modelagem baseadas em métodos formais. Tais ferramentas apresentam difícies problemas de otimização e de bom uso dos recursos do ambiente de computãção, Assim, utilizar ASM para especificar a semântica de linguagens de programação de forma eficiente na execução das especificações é um desafio para pesquisadores na área de otimização de código.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) / Doutorado: (1) .
Integrantes: Mariza Andrade da Silva Bigonha – Integrante / Wendell F. Taveira – Integrante / Fernando Magno Quintao Pereira – Integrante / BIGONHA, Roberto S. – Coordenador / Luciana Leal Ambrosio – Integrante / Fabíola Fonseca de Oliveira – Integrante / Marco Túlio Oliveira Valente – Integrante / Eliseu Cesar Miguel – Integrante.
Início: 2003
Término: 2004
Coordenador: Roberto da Silva Bigonha
Situação: Encerrado