The theory and applications of rewriting logic have been vigorously developed by
researchers all over the world during the past eleven years. The attached bibliography …

Formal methods for the specification and verification of hardware and software systems are
becoming more and more important as systems increase in size and complexity. The aim of …

This paper proposes membership equational logic—a Horn logic in which the basic
predicates are equations t= t′ and membership assertions t: s stating that a term t belongs …

CAFE is the name of a network based environment now under development for supporting
systematic creation, checking, verification, and maintenance of formal specifications. CAFE …

This paper is part of a long-term effort to increase expressiveness of algebraic specification
languages while at the same time having a simple semantic foundation on which efficient …

This paper introduces the basic concepts of the rewriting logic language Maude and
discusses its implementation. Maude is a wide-spectrum language supporting formal …

Rewriting logic and its implementation Maude are an expressive framework for the formal
specification and verification of software and other kinds of systems. Concurrency is …

Rewriting logic and its implementation Maude are a natural and expressive framework for
the specification of concurrent systems and logics. Its nondeterministic local transformations …

After giving general metalogical axioms characterizing reflection in general logics in terms of
the notion of a universal theory, this paper specifies a finitely presented universal theory for …

Rewriting logic is a natural and expressive framework for the specification of concurrent
systems and logics. The Maude specification language provides an implementation of this …