E-Book, Englisch, Band 4350, 802 Seiten, eBook
Clavel / Durán / Eker All About Maude - A High-Performance Logical Framework
2007
ISBN: 978-3-540-71999-1
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
How to Specify, Program, and Verify Systems in Rewriting Logic
E-Book, Englisch, Band 4350, 802 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-71999-1
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
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.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
