Coverart for item
The Resource All about Maude-- a high-performance logical framework : how to specify, program and verify systems in rewriting logic, Manuel Clavel [and others]

All about Maude-- a high-performance logical framework : how to specify, program and verify systems in rewriting logic, Manuel Clavel [and others]

Label
All about Maude-- a high-performance logical framework : how to specify, program and verify systems in rewriting logic
Title
All about Maude-- a high-performance logical framework
Title remainder
how to specify, program and verify systems in rewriting logic
Statement of responsibility
Manuel Clavel [and others]
Creator
Subject
Language
eng
Summary
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
Member of
Cataloging source
GW5XE
http://library.link/vocab/creatorDate
1969-
http://library.link/vocab/creatorName
Clavel, Manuel
Dewey number
004.015113
Illustrations
illustrations
Index
index present
LC call number
QA76.9.L63
LC item number
C6555 2007eb
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 2, Programming and software engineering
Series volume
4350
http://library.link/vocab/subjectName
  • Computer logic
  • Rewriting systems (Computer science)
  • Human information processing
  • Rewriting systems (Computer science)
  • Human information processing
  • Computer logic
  • Informatique
  • Computer logic
  • Human information processing
  • Rewriting systems (Computer science)
  • Computer Science
  • Engineering & Applied Sciences
Label
All about Maude-- a high-performance logical framework : how to specify, program and verify systems in rewriting logic, Manuel Clavel [and others]
Instantiates
Publication
Bibliography note
Includes bibliographical references and indexes
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
191453516
Dimensions
unknown
Extent
1 online resource (xxii, 797 pages)
Form of item
online
Isbn
9783540719991
Lccn
2007930649
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-540-71999-1
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-71940-3
Specific material designation
remote
System control number
(OCoLC)191453516
Label
All about Maude-- a high-performance logical framework : how to specify, program and verify systems in rewriting logic, Manuel Clavel [and others]
Publication
Bibliography note
Includes bibliographical references and indexes
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
191453516
Dimensions
unknown
Extent
1 online resource (xxii, 797 pages)
Form of item
online
Isbn
9783540719991
Lccn
2007930649
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-540-71999-1
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-71940-3
Specific material designation
remote
System control number
(OCoLC)191453516

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...