Principles of Maude

Principles of Maude (1996)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Clavel Eker , M. Clavel , S. Eker , J. Meseguer

Citations:

121 - 28 self

Versions

Version History

Metadata Version 2

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Principles of Maude	user correction - Legacy Corrections
AUTHOR NAME	Clavel Eker	user correction - Legacy Corrections
AUTHOR NAME	M. Clavel	user correction - Legacy Corrections
AUTHOR AFFIL	3	user correction - Legacy Corrections
AUTHOR NAME	S. Eker	user correction - Legacy Corrections
AUTHOR NAME	J. Meseguer	user correction - Legacy Corrections
AUTHOR AFFIL	3; Computer Science Laboratory; SRI International	user correction - Legacy Corrections
AUTHOR ADDR	Menlo Park, CA 94025, USA	user correction - Legacy Corrections
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 rewriting computation is achieved through internal strategy languages defined inside the logic. Maude's rewrite engine is designed with the explicit goal of being highly extensible and of supporting rapid prototyping and formal methods applications, but its semi-compilation techniques allow it to meet those goals with good performance. 1 Introduction Maude is a logical language based on rewriting logic [16,23,19]. It is therefore related to other rewriting logic languages such as Cafe [10], ELAN [...	user correction - Legacy Corrections
YEAR	1996	user correction - Legacy Corrections
CITATIONS	25 found	ParsCit 1.0