Rewriting logic is a simple computational logic that can naturally express both concurrent
computation and logical deduction with great generality. This paper provides a gentle …

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 …

This chapter describes some existing Maude-based tools that are available for download.
The first section describes tools concerned with analysis of either Maude specifications, or of …

Maude is a high-level language and a high-performance system supporting executable
specification and declarative programming in rewriting logic. Since rewriting logic contains …

This paper gives an overview of the Maude 2.0 system. We emphasize the full generality
with which rewriting logic and membership equational logic are supported, operational …

Rewriting logic [40] is proposed as a logical framework in which other logics can be
represented, and as a semantic framework for the specification of languages and systems …

This introduction tries to give the big picture on the goals, design philosophy, logical
foundations, applications, and overall structure of Maude. It is written in an impressionistic …

This paper explores the application of rewriting logic to the executable formal modeling of
real-time and hybrid systems. We give general techniques by which such systems can be …

The low‐temperature autoclave aging behavior of zirconia‐toughened alumina composites
processed by a classical powder mixing processing route was analyzed using atomic force …

This introduction tries to give the big picture on the goals, design philosophy, logical
foundations, applications, and overall structure of Maude. It is written in an impressionistic …