dc.creator | Clavel, M. | es |
dc.creator | Durán, F. | es |
dc.creator | Eker, S. | es |
dc.creator | Lincoln, P. | es |
dc.creator | Martí Oliet, N. | es |
dc.creator | Meseguer, J. | es |
dc.creator | Quesada Moreno, José Francisco | es |
dc.date.accessioned | 2019-06-12T09:57:34Z | |
dc.date.available | 2019-06-12T09:57:34Z | |
dc.date.issued | 2000 | |
dc.identifier.citation | Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí Oliet, N., Meseguer, J. y Quesada Moreno, J.F. (2000). Towards Maude 2.0. Electronic Notes in Theoretical Computer Science, 36 (2000), 294-315. | |
dc.identifier.issn | 1571-0661 | es |
dc.identifier.uri | https://hdl.handle.net/11441/87370 | |
dc.description.abstract | Maude 2.0 is the new version of the Maude rewriting logic language currently under
development. Maude 2.0’s three main goals are: (i) greater generality and expressiveness;(
ii) efficient support for a wider range of programming applications;and
(iii) usability as a key component for developing internet programming and mobile
computing systems. To meet these goals, a number of new features have been
added. The membership equational logic of functional modules and the rewriting
logic of system modules are now supported in their greatest possible generality, and
the operational semantics of object-oriented modules guarantees object and message
fairness. Module operations in Full Maude are also more general thanks to
parameterized theories and views. Efficient support for a wider range of programming
applications is provided both by the Maude compiler—which can reach up to
15 million rewrites per second on a 667MHz Xeon—and by a library of new built-in
modules. Besides new built-in functional modules, a key new feature is built-in
object-oriented modules that provide flexible interaction with external objects such
as file systems, window systems, and internet sockets. In particular, built-in internet
sockets will provide excellent support for a new declarative style of internet
programming in Maude, and will be used as a key building block to implement the
Mobile Maude language. | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Elsevier | es |
dc.relation.ispartof | Electronic Notes in Theoretical Computer Science, 36 (2000), 294-315. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Towards Maude 2.0 | es |
dc.type | info:eu-repo/semantics/article | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/submittedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial | es |
dc.relation.publisherversion | https://www.sciencedirect.com/science/article/pii/S1571066105801379 | es |
dc.identifier.doi | 10.1016/S1571-0661(05)80137-9 | es |
idus.format.extent | 22 | es |
dc.journaltitle | Electronic Notes in Theoretical Computer Science | es |
dc.publication.volumen | 36 | es |
dc.publication.issue | 2000 | es |
dc.publication.initialPage | 294 | es |
dc.publication.endPage | 315 | es |
dc.identifier.sisius | 6531758 | es |