Show simple item record

dc.creatorClavel, M.es
dc.creatorDurán, F.es
dc.creatorEker, S.es
dc.creatorLincoln, P.es
dc.creatorMartí Oliet, N.es
dc.creatorMeseguer, J.es
dc.creatorQuesada Moreno, José Franciscoes
dc.date.accessioned2019-06-07T10:22:23Z
dc.date.available2019-06-07T10:22:23Z
dc.date.issued2002
dc.identifier.citationClavel, M., Durán, F., Eker, S., Lincoln, P., Martí Oliet, N., Meseguer, J. y Quesada Moreno, J.F. (2002). Maude: specification and programming in rewriting logic. Theoretical Computer Science, 285 (2), 187-243.
dc.identifier.issn0304-3975es
dc.identifier.urihttps://hdl.handle.net/11441/87265
dc.description.abstractMaude is a high-level language and a high-performance system supporting executable specification and declarative programming in rewriting logic. Since rewriting logic contains equational logic, Maude also supports equational specification and programming in its sublanguage of functional modules and theories. The underlying equational logic chosen for Maude is membership equational logic, that has sorts, subsorts, operator overloading, and partiality definable by membership and equality conditions. Rewriting logic is reflective, in the sense of being able to express its own metalevel at the object level. Reflection is systematically exploited in Maude endowing the language with powerful metaprogramming capabilities, including both user-definable module operations and declarative strategies to guide the deduction process. This paper explains and illustrates with examples the main concepts of Maude's language design, including its underlying logic, functional, system and object-oriented modules, as well as parameterized modules, theories, and views. We also explain how Maude supports reflection, metaprogramming and internal strategies. The paper outlines the principles underlying the Maude system implementation, including its semicompilation techniques. We conclude with some remarks about applications, work on a formal environment for Maude, and a mobile language extension of Maude.es
dc.formatapplication/pdfes
dc.language.isoenges
dc.publisherElsevieres
dc.relation.ispartofTheoretical Computer Science, 285 (2), 187-243.
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 Internacional*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.subjectMaudees
dc.subjectRewriting logices
dc.subjectFunctional moduleses
dc.subjectSystem moduleses
dc.subjectParameterizationes
dc.subjectReflectiones
dc.subjectInternal strategieses
dc.titleMaude: specification and programming in rewriting logices
dc.typeinfo:eu-repo/semantics/articlees
dc.type.versioninfo:eu-repo/semantics/submittedVersiones
dc.rights.accessrightsinfo:eu-repo/semantics/openAccesses
dc.contributor.affiliationUniversidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificiales
dc.relation.publisherversionhttps://www.sciencedirect.com/science/article/pii/S0304397501003590es
dc.identifier.doi10.1016/S0304-3975(01)00359-0es
idus.format.extent57es
dc.journaltitleTheoretical Computer Sciencees
dc.publication.volumen285es
dc.publication.issue2es
dc.publication.initialPage187es
dc.publication.endPage243es
dc.identifier.sisius6651366es

FilesSizeFormatViewDescription
Maude, specification and progr ...566.0KbIcon   [PDF] View/Open  

This item appears in the following collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Except where otherwise noted, this item's license is described as: Attribution-NonCommercial-NoDerivatives 4.0 Internacional