Description
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG All About Maude - A High-Performance Logical Framework by Manuel Clavel Francisco Durán Steven Eker Patrick Lincoln Narciso Martí-Oliet José Meseguer Carolyn Talcott
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.