Object-Oriented Action Semantics (OOAS) incorporates object-oriented concepts to the Action Semantics formalism. Its main goal is to obtain more readable and reusable semantics specifications. Moreover, it supports ...

We present the Maude Formal Environment (MFE), an executable formal specification in Maude within which a user can seamlessly interact with the Maude Termination Tool, the Maude Sufficient Completeness Checker, the ...

Lámina original del afiche. Texto: Teatro Américo Vargas presenta. Harold y Maude de Collin Higins. Banco de Crédito e Inversiones. Impulsando el desarrollo del Teatro Chileno. Teatro Moneda. Moneda 920. Subterráneo. ...