Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn Talcott
e.a.
Springer Berlin Heidelberg
2007e druk, 2007
9783540719403
All About Maude - A High-Performance Logical Framework
How to Specify, Program, and Verify Systems in Rewriting Logic
Specificaties
Paperback, 802 blz.
|
Engels
Springer Berlin Heidelberg |
2007e druk, 2007
ISBN13: 9783540719403
Rubricering
Onderdeel van serie
Lecture Notes in Computer Science
Levertijd ongeveer 9 werkdagen
Gratis verzonden
Samenvatting
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.
Specificaties
ISBN13:9783540719403
Taal:Engels
Bindwijze:paperback
Aantal pagina's:802
Uitgever:Springer Berlin Heidelberg
Druk:2007
Hoofdrubriek:Programmeren, Computer en informatica
Inhoudsopgave
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.