Navegação por assunto "Lógica de reescrita"
Itens para a visualização no momento 1-1 of 1
-
Uma implementação de semântica operacional estrutural modular em Maude
| Postado em: 27 mai. 2005This dissertation presents a formal tool for Modular Structural Operational Semantics (MSOS), based on the conversion from MSOS to Rewriting Logic recently developed by Braga and Meseguer. The implementation, named Maude ...