A funcionalidade de pesquisa está em construção.
A funcionalidade de pesquisa está em construção.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support Tradução de máquinas de estado de teorias equacionais em teorias de reescrita com suporte de ferramentas

Min ZHANG, Kazuhiro OGATA, Masaki NAKAMURA

  • Exibições de texto completo

    0

  • Cite isto

Resumo:

Este artigo apresenta uma estratégia juntamente com ferramentas de suporte para a tradução de máquinas de estados de teorias equacionais para teorias de reescrita, visando gerar automaticamente especificações de teorias de reescrita. Esforços duplicados podem ser economizados na especificação de máquinas de estado tanto em teorias equacionais quanto em teorias de reescrita, quando incorporamos os recursos de prova de teoremas do CafeOBJ com os recursos de verificação de modelos de Maude. Os resultados experimentais mostram que as eficiências das especificações geradas pela estratégia proposta são significativamente melhoradas, em comparação com aquelas geradas por três outras estratégias de tradução existentes.

Publicação
IEICE TRANSACTIONS on Information Vol.E94-D No.5 pp.976-988
Data de publicação
2011/05/01
Publicitada
ISSN online
1745-1361
DOI
10.1587/transinf.E94.D.976
Tipo de Manuscrito
Special Section PAPER (Special Section on Formal Approach)
Categoria
Tradução de especificações

autores

Palavra-chave