M. Clavel, S. Eker, P. Lincoln, J. Meseguer  Home/Search
Context Related
| uiuc.edu/papers/postscr...tcs4006.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uiuc.edu/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper introduces the basic concepts of the rewriting logic language Maude and discusses its implementation. Maude is a wide-spectrum language supporting formal specification, rapid prototyping, and parallel programming. Maude's rewriting logic paradigm includes the functional and object-oriented paradigms as sublanguages. The fact that rewriting logic is reflective leads to novel metaprogramming capabilities that can greatly increase software reusability and adaptability. Control of the... (Update)
Cited by: More
Certifying Optimality of State Estimation Programs - Rosu, Venkatesan, Whittle.. (2003) (Correct)
Behavioral Abstraction is Hiding Information - Rosu (2004) (Correct)
Inductive Behavioral Proofs by Unhiding - Rosu (2003) (Correct)
Similar documents (at the sentence level):
19.4%: Maude: Specification and Programming in Rewriting Logic - Clavel, Durán, Eker.. (1999) (Correct)
9.8%: Reflection in Rewriting Logic and its Applications in the.. - Clavel, Meseguer (1997) (Correct)
Active bibliography (related documents): More All
0.9: Research Directions in Rewriting Logic - Meseguer (1998) (Correct)
0.8: Rewriting Logic as a Semantic Framework for Concurrency: a.. - Meseguer (1996) (Correct)
0.3: Rewriting Logic: Roadmap and Bibliography - Martí-Oliet, Meseguer (2001) (Correct)
Similar documents based on text: More All
0.5: Maude as a Formal Meta-Tool - Clavel, Durán, Eker, Meseguer (1999) (Correct)
0.5: Towards Maude 2.0 - Clavel, Durán, Eker, Lincoln, .. (2000) (Correct)
0.4: The Maude 2.0 System - Clavel, Durán, Eker, Lincoln, .. (1999) (Correct)
Related documents from co-citation: More All
36: Conditional rewriting logic as a unified model of concurrency (context) - Meseguer - 1992
26: Rewriting logic as a semantic framework for concurrency: a progress report - Meseguer - 1996
20: Axiomatizing Reflective Logics and Languages - Clavel, Meseguer - 1996
BibTeX entry: (Update)
M. Clavel, S. Eker, P. Lincoln, and J. Meseguer. Principles of Maude. In J. Meseguer, editor, Proc. First Intl. Workshop on Rewriting Logic and its Applications, volume 4 of Electronic Notes in Theoretical Computer Science. Elsevier, 1996. http://www1.elsevier.nl/mcs/tcs/pc/volume4.htm. http://citeseer.ist.psu.edu/clavel96principles.html More
@inproceedings{ clavel96principles,
author = "Manuel Clavel and Steven Eker and Patrick Lincoln and Jos\'e Meseguer",
title = "Principles of {M}aude",
booktitle = "Proceedings of the First International Workshop on Rewriting Logic",
volume = "4",
editor = "Jos\'e Meseguer",
pages = "65--89",
year = "1996",
url = "citeseer.ist.psu.edu/clavel96principles.html" }
Citations (may not include all citations):716 Parallel Program Design: A Foundation (context) - Chandy, Misra - 1988 ACM
299 Conditional rewriting logic as a unified model of concurrenc.. (context) - Meseguer - 1992 ACM
126 A logical theory of concurrent objects and its realization i.. (context) - Meseguer - 1993 ACM
91 Rewriting logic as a semantic framework for concurrency: a p.. - Meseguer - 1996
70 Designing constraint logic programming languages using compu.. (context) - Kirchner, Kirchner et al. - 1995
52 Solving the inheritance anomaly in concurrent object-oriente.. (context) - Meseguer - 1993 ACM DBLP
51 Specification and proof in membership equational logic - Bouhoula, Jouannaud et al. - 1996 ACM DBLP
48 A logical theory of concurrent objects (context) - Meseguer - 1990 ACM DBLP
47 Rewriting logic as a logical and semantic framework - Mart'i-Oliet, Meseguer - 1993 DBLP
46 Rewriting as a unified model of concurrency (context) - Meseguer - 1990
45 Axiomatizing reflective logics and languages - Clavel, Meseguer - 1996
44 Reflection and strategies in rewriting logic - Clavel, Meseguer
39 Computer Science Laboratory (context) - Goguen, Winkler et al. - 1992
35 Characterization of computable data types by means of a fini.. (context) - Bergstra, Tucker - 1980
35 a specification language (context) - Burstall, Goguen et al. - 1979 ACM DBLP
30 Controlling rewriting by rewriting (context) - Borovansk'y, Kirchner et al.
19 and programming of concurrent systems in rewriting logic (context) - Lincoln, Mart'i-Oliet et al. - 1994
18 Rewriting: An effective model of concurrency (context) - Viry - 1994 DBLP
16 Cafe as an extensible specification environment (context) - Futatsugi, Sawada - 1994
15 Fast matching in combination of regular equational theories - Eker
13 Order-sorted algebra solves the constructorselector (context) - Meseguer, Goguen - 1993
11 A relational notation for state transition systems (context) - Lam, Shankar - 1990
7 Specification and Semantics (context) - Meseguer, Lecture et al. - 1996
7 An actor rewrite theory (context) - Talcott
4 Parallel programming in Maude (context) - Meseguer, Winkler - 1992
4 Distributed logic objects: a fragment of rewriting logic and.. - Ciampolini, Lamma et al.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://maude.cs.uiuc.edu/papers/): More
Fast Matching in Combinations of Regular Equational Theories - Eker (1996) (Correct)
Equational Abstractions - Meseguer, Palomino.. (2003) (Correct)
The Maude 2.0 System - Clavel, Durán, Eker, Lincoln, .. (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC