All About Maude - A High-Performance Logical Framework

Maude is a language and system based on rewriting logic. In this comprehensive account, you'll discover how Maude and its formal tool environment can be used in three mutually reinforcing ways: as a declarative programming language, as an executable formal specification language, and as a formal verification system. Examples used throughout the book illustrate key concepts, features, and the many practical uses of Maude. von Clavel, Manuel und Durán, Francisco und Eker, Steven und Lincoln, Patrick und Martí-Oliet, Narciso und Meseguer, José