Specification of abstract data types
The reviewed book is a good textbook on the specification of abstract data types with the emphasis on practical applications. There are 12 chapters with numerous exercises.NEWLINENEWLINENEWLINEThe first chapter discusses the role of abstract data type specifications in the design of reliable software. Properties of many-sorted algebras are presented in chapters 2,3 and 4.NEWLINENEWLINENEWLINEThe general notions of equational logic and first-order predicate logic are given in the chapter 5.NEWLINENEWLINENEWLINEThree specification methods leading to loose specifications, initial specifications and constructive specifications are described in chapters 6, 7 and 8. The next two chapters are concerned with specification in-the-large and present an elementary specification language. The use of abstract data specification in software design is illustrated in the chapter 12. The authors try to avoid the traditional use of category theory but the subject is treated with mathematical rigor.
- A systematic catalogue of reusable abstract data types
- Analysis of a distributed system for lifting trucks.
- Class-diagrams for abstract data types
- A survey on the categorical term construction with applications
- On quasivarieties and varieties as categories
- How accessible are categories of algebras?
- CASL: the Common Algebraic Specification Language.
- Observational logic, constructor-based logic, and their duality.
- The wheel of rational numbers as an abstract data type
- Constructor-based observational logic
- Morita equivalence of many-sorted algebraic theories
- Verifying an infinite systolic algorithm using third-order equational methods
- Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal
- Introduction to programming by abstract data types. Incl. 1 CD-ROM
- scientific article; zbMATH DE number 1696885 (Why is no real title available?)
- Fuzzy terms
- A proof-planning framework with explicit abstractions based on indexed formulas
- My ADT shrine
- A parameterization process: from a functorial point of view
- scientific article; zbMATH DE number 4049006 (Why is no real title available?)
- scientific article; zbMATH DE number 44414 (Why is no real title available?)
- scientific article; zbMATH DE number 47959 (Why is no real title available?)
- scientific article; zbMATH DE number 587794 (Why is no real title available?)
- scientific article; zbMATH DE number 978763 (Why is no real title available?)
- Datatype laws without signatures
- Object oriented institutions to specify symbolic computation systems
- Verification of mobile ad hoc networks: an algebraic approach
- Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems
- MBase: Representing knowledge and context for the integration of mathematical software systems
- Symmetric transrationals: the data type and the algorithmic degree of its equational theory
- Monadic extensions of institutions
- Cones and foci: A mechanical framework for protocol verification
- The intersection of algebra and coalgebra
- Model checking a cache coherence protocol of a Java DSM implementation
- Experience of building an architecture-based generator using GenVoca for distributed systems
This page was built for publication: Specification of abstract data types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2785427)
