Book Volume 4350 2007

All About Maude - A High-Performance Logical Framework

How to Specify, Program and Verify Systems in Rewriting Logic

ISBN: 978-3-540-71940-3 (Print) 978-3-540-71999-1 (Online)

Table of contents (24 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Introduction

    1. No Access

      Chapter

      Pages 1-28

      Introduction

  3. Part I: Core Maude

    1. Front Matter

      Pages 29-29

    2. No Access

      Chapter

      Pages 31-37

      Using Maude

    3. No Access

      Chapter

      Pages 39-59

      Syntax and Basic Parsing

    4. No Access

      Chapter

      Pages 61-118

      Functional Modules

    5. No Access

      Chapter

      Pages 119-129

      A Hierarchy of Data Types: From Trees to Sets

    6. No Access

      Chapter

      Pages 131-157

      System Modules

    7. No Access

      Chapter

      Pages 159-184

      Playing with Maude

    8. No Access

      Chapter

      Pages 185-230

      Module Operations

    9. No Access

      Chapter

      Pages 231-305

      Predefined Data Modules

    10. No Access

      Chapter

      Pages 307-338

      Specifying Parameterized Data Structures in Maude

    11. No Access

      Chapter

      Pages 339-372

      Object-Based Programming

    12. No Access

      Chapter

      Pages 373-384

      Model Checking Invariants Through Search

    13. No Access

      Chapter

      Pages 385-418

      LTL Model Checking

    14. No Access

      Chapter

      Pages 419-458

      Reflection, Metalevel Computation, and Strategies

    15. No Access

      Chapter

      Pages 459-483

      Metaprogramming Applications

    16. No Access

      Chapter

      Pages 485-522

      Mobile Maude

    17. No Access

      Chapter

      Pages 523-555

      User Interfaces and Metalanguage Applications

  4. Part II: Full Maude

    1. Front Matter

      Pages 557-557

    2. No Access

      Chapter

      Pages 559-597

      Full Maude: Extending Core Maude

    3. No Access

      Chapter

      Pages 599-642

      Object-Oriented Modules

  5. Part III: Applications and Tools

    1. Front Matter

      Pages 643-643

    2. No Access

      Chapter

      Pages 645-665

      A Sampler of Application Areas

previous Page of 2