All about maude - a high-performance logical framework : how to specify, program and verify systems in rewriting logic
Author(s)
Bibliographic Information
All about maude - a high-performance logical framework : how to specify, program and verify systems in rewriting logic
(Lecture notes in computer science, 4350)
Springer, c2007
Available at / 5 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and indexes
HTTP:URL=http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=4350
"Tutorial"--Cover
Description and Table of Contents
Description
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.
Table of Contents
I: Core Maude.- Using Maude.- Syntax and Basic Parsing.- Functional Modules.- A Hierarchy of Data Types: From Trees to Sets.- System Modules.- Playing with Maude.- Module Operations.- Predefined Data Modules.- Specifying Parameterized Data Structures in Maude.- Object-Based Programming.- Model Checking Invariants Through Search.- LTL Model Checking.- Reflection, Metalevel Computation, and Strategies.- Metaprogramming Applications.- Mobile Maude.- User Interfaces and Metalanguage Applications.- II: Full Maude.- Full Maude: Extending Core Maude.- Object-Oriented Modules.- III: Applications and Tools.- A Sampler of Application Areas.- Some Tools.- IV: Reference.- Debugging and Troubleshooting.- Complete List of Maude Commands.- Core Maude Grammar.
by "Nielsen BookData"