Specification of abstract data types (Q2785427)

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.