TY - JOUR
T1 - Towards Maude 2.0
AU - Clave, M.
AU - Durán, F.
AU - Eker, S.
AU - Lincoln, P.
AU - Martí-Oliet, N.
AU - Meseguer, J.
AU - Quesada, J. F.
N1 - Funding Information:
Supported by DARPA through Rome Laboratories Contract F30602-97-C-0312, by Office of Naval Research Contract N00014-99-C-0198, and by National Science Foundation Grants CCR-9505960 and CCR-9900334.
PY - 2000
Y1 - 2000
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=18944399781&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=18944399781&partnerID=8YFLogxK
U2 - 10.1016/S1571-0661(05)80137-9
DO - 10.1016/S1571-0661(05)80137-9
M3 - Conference article
AN - SCOPUS:18944399781
SN - 1571-0661
VL - 36
SP - 294
EP - 315
JO - Electronic Notes in Theoretical Computer Science
JF - Electronic Notes in Theoretical Computer Science
T2 - The 3rd International Workshop on Rewriting Logic and its Applications
Y2 - 18 September 2000 through 20 September 2000
ER -