All About Maude - A High-Performance Logical Framework [electronic resource] :How to Specify, Program and Verify Systems in Rewriting Logic / by Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott.
by Clavel, Manuel [author.]; Durán, Francisco [author.]; Eker, Steven [author.]; Lincoln, Patrick [author.]; Martí-Oliet, Narciso [author.]; Meseguer, José [author.]; Talcott, Carolyn [author.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 4350Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Description: XXII, 797p. online resource.ISBN: 9783540719991.Subject(s): Computer science | Software engineering | Artificial intelligence | Computer Science | Programming Techniques | Software Engineering | Programming Languages, Compilers, Interpreters | Artificial Intelligence (incl. Robotics) | Mathematical Logic and Formal LanguagesDDC classification: 005.11 Online resources: Click here to access online | Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| MAIN LIBRARY | QA76.6-76.66 (Browse shelf) | Available |
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.
This monograph gives a comprehensive account of Maude, a language and system based on rewriting logic. 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. Maude is used in many institutions around the world for teaching, research, and formal modeling and analysis of concurrent and distributed systems. Many examples are used throughout the book to illustrate the main ideas, features, and uses of Maude.
There are no comments for this item.