Výsledky vyhledávání - "Cláudio Carvilhe"

An Implementation of Object-Oriented Action Semantics in Maude

Autor: Cláudio Carvilhe, André Murbach Maidl, Martin A. Musicante

Publikováno v: Semantics and Algebraic Specification ISBN: 9783642041631
Semantics and Algebraic Specification

We present Maude Object-Oriented Action Tool, an executable environment that incorporates elements from for Object-Oriented and Constructive Action Semantics. Our tool is implemented as a conservative extension of Full Maude and Maude MSOS Tool. The

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::0478f46124e92c409a16cd8c8fbc383e
https://doi.org/10.1007/978-3-642-04164-8_5

Zobrazit plný text záznamu

Maude Object-Oriented Action Tool

Autor: Cláudio Carvilhe, André Murbach Maidl, Martin A. Musicante

Publikováno v: Repositório Institucional da UFRN
Universidade Federal do Rio Grande do Norte (UFRN)
instacron:UFRN
LSFA

MAIDL, André Murbach; CARVILHE, Claudio; MUSICANTE, Martin A. Maude Object-Oriented Action Tool. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2008. Object-Oriented Action Semantics (OOAS) incorporates object-oriented concepts to the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::22afa044d0c03909f530c799d8204e95

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání